Fix mistake in previous change to gitignore