onion, chopped finely