diff --git a/bazel/testing/lit_test.py b/bazel/testing/lit_test.py
index 44e2851de859..092056db01bc 100644
--- a/bazel/testing/lit_test.py
+++ b/bazel/testing/lit_test.py
@@ -80,6 +80,7 @@ def main():
         os.path.join(symlink_dir, "lit"),
         "--path=%s" % symlink_dir,
         test_dir,
+        "-sv",
     ]
 
     # Run lit.
diff --git a/executable_semantics/README.md b/executable_semantics/README.md
index 7dca0ca6c185..ccb1771b1a82 100644
--- a/executable_semantics/README.md
+++ b/executable_semantics/README.md
@@ -259,8 +259,8 @@ To explain this boilerplate:
 Useful commands are:
 
 -   `./update_checks.py` -- Updates expected output.
--   `bazel test :executable_semantics_lit_test --test_output=errors --test_arg=-v`
-    -- Runs tests and prints verbose output.
--   `bazel test :executable_semantics_lit_test --test_output=errors --test_arg=-v --test_arg=--filter=basic_syntax/.*`
+-   `bazel test :executable_semantics_lit_test --test_output=errors` -- Runs
+    tests and prints any errors.
+-   `bazel test :executable_semantics_lit_test --test_output=errors --test_arg=--filter=basic_syntax/.*`
     -- Only runs tests in the `basic_syntax` directory; `--filter` is a regular
     expression.