diff --git a/src/cbmc_starter_kit/setup.py b/src/cbmc_starter_kit/setup.py
index 909269f0..e991e162 100755
--- a/src/cbmc_starter_kit/setup.py
+++ b/src/cbmc_starter_kit/setup.py
@@ -33,7 +33,9 @@ def parse_arguments():
 """
 
 LITANI_TEXT = """
-# Absolute path to the litani script.
+# How to invoke litani.
+# Use "litani" when litani is present in PATH.
+# Use an absolute path when litani is included as a git submodule.
 #
 LITANI ?= {}
 """