JSON encode.