tiny gitignore tweak