Minor change in gitignore file