.gitignore minor correction