Small fixes to .gitignore