Fix some old-style Dart code