Small fix for polymer and dart2js