small tweak to gitignore