Ingredient: finely-chopped onion