Small bug-fix in git-etc