small fixes to gitignore