1 files changed, 1 insertions, 1 deletions
diff --git a/src/batchtools/webdrivers/src/main/java/com/galois/fiveui/drivers/Drivers.java b/src/batchtools/webdrivers/src/main/java/com/galois/fiveui/drivers/Drivers.java
index 7e53d06..6450e25 100644
--- a/src/batchtools/webdrivers/src/main/java/com/galois/fiveui/drivers/Drivers.java
+++ b/src/batchtools/webdrivers/src/main/java/com/galois/fiveui/drivers/Drivers.java
@@ -80,7 +80,7 @@ public class Drivers {
         FirefoxDriver driver;
         if (null == ffBinaryPath) {
             System.err
-                    .println("WARNING: Running essentially random version of FireFox!");
+                    .println("WARNING: Running essentially random version of Firefox!");
             System.err.println("         set a path to firefox with -D"
                     + FIREFOX_BIN_PATH + "=<path to firefox>");
             driver = new FirefoxDriver(profile);