Updated spec for Dart 1.0