fix a problem in .gitignore