Fixes overly-relaxed REQUIRE