Small change in gitignore