minor update: .gitignore