In the rationale:

 > This is true even when non-ASCII bytes are incorporated into the
bytevector: the complete 8-bit PNG file header can be written as
#u8"\x89;PNG\r\n\x1A;\n" instead of #u8(0x89 0x50 0x4E 0x47 0x0D 0x0A
0x1A 0x0A).

The bytes are written with `0x`, when it should be written with `#x`.
The correct bytevector is

     #u8(#x89 #x50 #x4E #x47 #x0D #x0A #x1A #x0A)

-- Peter McGoron