Fix for html5 and Dart 1.7