encoding (minor): In DecodingException, fix the doc comment for the error parameter.