minor changes in .gitignore