The bug in the documentation is fixed. I will submit a different bug regarding the FFI library (should have done this in the first place). Please close this bug. Rafael