fixup to .gitignore