diff --git a/dev/bots/docs.sh b/dev/bots/docs.sh
index 6b6a9db46f..8a8c99e067 100755
--- a/dev/bots/docs.sh
+++ b/dev/bots/docs.sh
@@ -2,7 +2,8 @@
 set -e
 
 # Install dartdoc.
-pub global activate dartdoc
+# We peg to this version to work around a bug affecting Flutter in 0.9.7+2.
+pub global activate dartdoc 0.9.7+1
 
 # Generate flutter docs into dev/docs/doc/api/.
 (cd dev/tools; pub get)
diff --git a/dev/tools/dartdoc.dart b/dev/tools/dartdoc.dart
index c4da762a82..24a8a33543 100644
--- a/dev/tools/dartdoc.dart
+++ b/dev/tools/dartdoc.dart
@@ -13,7 +13,7 @@ const String kDocRoot = 'dev/docs/doc';
 /// This script expects to run with the cwd as the root of the flutter repo. It
 /// will generate documentation for the packages in `//packages/` and write the
 /// documentation to `//dev/docs/doc/api/`.
-/// 
+///
 /// This script also updates the index.html file so that it can be placed
 /// at the root of docs.flutter.io. We are keeping the files inside of
 /// docs.flutter.io/flutter for now, so we need to manipulate paths
@@ -52,7 +52,7 @@ dependencies:
   if (code != 0)
     exit(code);
 
-  // Generate the documentation; we require dartdoc >= 0.9.4.
+  // Generate the documentation.
   List<String> args = <String>[
     'global', 'run', 'dartdoc',
     '--header', 'styles.html',