small addition to .gitignore