Fixing ffi docs extraction.
Fixing a long-standing typo in lset<=.
Fixes issue #224.