minced onion (about 1 small onion, peel discarded)