Small fix to gitignore