minor changes to gitignore