Slight change in gitignore