Add simple JSON encoding