updated dart2js output