fixed format of REQUIRE