minor change to gitignore for convenience