Fix a minor mistake in the gitignore file