Fix user_type tests after change of serialization format