fix a bug in .gitignore