Minor fix to .gitignore