Updating: minorly improving jsonizing