small change in Gitignore