Minor changes to gitignore