Fixes to .gitignore.