Small change to jsonize type

A small change to fix a compilation error with jsonize_type