fix bug in #'decode-escaped-encoding