Fix typo in doc of FFI part