Avoid double-escaped HTML