Fix bogus dart2js warning