bugfix on .gitignore