fix mistake in .gitignore