Accommodate change of spec re \00 sequences.

The spec used to say that "\001" is to be interpreted the same as "\01",
but now it means "\0" "01".