Workaround for Case bug in Dart.