Some changes for .gitignore