FFI bug fixes