as the text can be anything (and so potentially containing some text catched by the output formatter as a style), you should use the formatter helper to escape it (the output formatter is permissive about places where the escaping can be omitted, but as you don't control the message, it is safer to go the safe way)