diff --git a/MANUAL.txt b/MANUAL.txt
index eef0f245e..a6edd8ccd 100644
--- a/MANUAL.txt
+++ b/MANUAL.txt
@@ -4398,7 +4398,7 @@ Attributes can be attached to verbatim text, just as with
 
 ### Underline ###
 
-To underline text, use the `underline` (or `ul`) class:
+To underline text, use the `underline` class:
 
     [Underline]{.underline}