demo for to_json bug