Work around bug in dart2js
undo