fix type error in API tjson_value_null