document decode_utf8 behaviour more precise