diff --git a/tools/console.js b/tools/console.js
index 8f5a088543..6e8f1cf129 100644
--- a/tools/console.js
+++ b/tools/console.js
@@ -370,7 +370,7 @@ _.extend(Console.prototype, {
     }
 
     if (info) {
-      message = info + ": " + message
+      message = info + ": " + message;
     }
 
     self.error(message);
diff --git a/tools/main.js b/tools/main.js
index 3d16cdf626..fa42ed109b 100644
--- a/tools/main.js
+++ b/tools/main.js
@@ -363,8 +363,12 @@ var springboard = function (rel, releaseOverride) {
       });
     });
 
-    Console.setPretty(false);
+    // It's important to call setPretty *after* enableProgressBar,
+    // since `Console.enableProgressBar(false)` is silently ignored
+    // when not in pretty mode. XXX Maybe we should change that
+    // behavior?
     Console.enableProgressBar(false);
+    Console.setPretty(false);
   } catch (err) {
     // We have failed to download the tool that we are supposed to springboard
     // to! That's bad. Let's exit.