Tweak to REQUIRE output