Some changes to .gitignore