minor change in .gitignore