This seems inconsistent with our use of TestErrorReporter in all the other tests.