small changes in .gitignore