small fix to /.gitignore