Minor fix for .gitignore