Fixed a .gitignore triviality.