small changes to .gitignore