changed formatting to work on pub.dartlang.org