Minor updates to gitignore