Workarround a bug in the dart2js compiler