The example lists the server response as follows.

S:  K 4534
    [message content]
    K okay, message complete

More accurately, it should be as follows.

S:  K 4534[message content]K okay, message complete

However, that is not nearly as readable. Should the amount of whitespace in examples matter for an implementation or not? Probably not, as the formal syntax defines what will and will not be allowed very clearly. Ponder this.

If the examples will not quite match the formal syntax (for the sake of readability), then that should be made clear before the reader arrives at the examples. The solution then, is to make the following clear to the reader: If the example and formal syntax differ, the formal syntax is correct. - dave

Issue done.