fix #9231, type error deserializing function