add tag that got lost when moving to git