Fix REQUIRE and documentation.  Closes #5