diff --git a/benchexec/tools/witch.py b/benchexec/tools/witch.py
index d5225bde3..ba7ec8e54 100644
--- a/benchexec/tools/witch.py
+++ b/benchexec/tools/witch.py
@@ -19,4 +19,4 @@ def name(self):
         """
         Return the name of the tool, formatted for humans.
         """
-        return "Witch"
+        return "witch"