Minor fix in gitignore