onion, finely chopped