Minor gitignore patch