removed some obsolete dart2js hints