Right. (I had just used the Dart formatter, but it seems that it doesn't fix indentation in this case.)