use more compact representation when used as JSON