work-around for 11570, {{ }} in demo output, dart2js