fix bug in .gitignore