minor changes in .gitignore file