(minor) .gitignore