Tweak FFI section in readme