Minor fix in .gitignore