Minor cleanup of git-files