diff --git a/benchexec/tools/racerf.py b/benchexec/tools/racerf.py
index d0a479811..28e3612a1 100644
--- a/benchexec/tools/racerf.py
+++ b/benchexec/tools/racerf.py
@@ -14,7 +14,7 @@
 
 class Tool(BaseTool2):
     """
-    Tool info for Racer-F, a data race detection plugin of Frama-C.
+    Tool info for RacerF, a data race detection plugin of Frama-C.
     """
 
     def name(self):