Minor gitignore fixup