minor gitignore tweak