Minor text change in .gitignore comment