Small changes in .gitignore