I actually have that cookbook, and have made this sauce often. I can never bring myself to discard the onion. I slice it thickly and stir it into the sauce; it adds nice texture.