io.encodings.utf8: fix accidentally scratchpad.