small change in .gitignore