small change in gitignore