minor change to help dart2js