Minor fixes to gitignore