Fix the syntax of .gitignore