method error_message s =
      Ed_misc.error_message (Ed_misc.to_utf8 s)