mint leaves, chopped