Fix my bad .gitignore entry.