Errata exists for this version of the document.
A JSON body is encoded as defined for the JSON message mapping defined in 7.2.3.