fix in dart2js mode