toJSON refinements