Minor change in gitignore