fix Dart Editor warnings