Small fix to gitignore file