Nasty hack to lose quotes (if possible) in the generated JSON