minor fixes for git