converted to JSON before printing