stdprinter_write(): mention the encoding
1 file changed