appease dart2js