Small changes to gitignore