regenerated the output; all tests pass