small fix to gitignore