Minor tweak to the gitignore file