diff --git a/docs/manual/guieffect-checker.tex b/docs/manual/guieffect-checker.tex
index 528a82522ea..e28cd8773ce 100644
--- a/docs/manual/guieffect-checker.tex
+++ b/docs/manual/guieffect-checker.tex
@@ -374,7 +374,7 @@ \subsubsection{Effect polymorphism and arguments\label{guieffect-overrides}}
     void dispatch(@PolyUI Runnable toRun);
 \}
 @SafeType
-public class SafeDispatcher \{
+public class SafeDispatcher implements Dispatcher \{
     @Override
     public void dispatch(@AlwaysSafe Runnable toRun) \{
         runOnBackgroundThread(toRun);