The `@return` statements are now wrong in v0.1.0, and various other fixes.
The
@returnstatements are now wrong in v0.1.0, and various other fixes.