Fix mistake in .gitignore