Fixes to json pretty printing