minor changes in the .gitignore