minor edit: .gitignore