workaround Dart SDK bug 7883