Small updates to .gitignore