Enchilades: Diced onion