Small bug fix in type_encoding_to_ffi_type function