Fix bug in FFI post