Minor modification to gitignore