Version 1.0.1 is now available at www.joe-e.org; it fixes the issues that Tyler found with 1.0. Thanks to Tyler and to David for pointing out the gotcha with read(). The test suite has also been updated. Work on an updated verifier is underway. -Adrian