Minor fix to gitignore