No problem found.

Note: I suspect that the encoder used to produce this bitstream did not
implement the recommendation expressed in Note 2 of section 7.4.4.