Minor git-related changes