Minor rework in .gitignore