diff --git a/docs/cmu-user/extensions.tex b/docs/cmu-user/extensions.tex
index 67a63dd502592eab599209a92fa1b0cec5294f58..c8487c4c8e10d8cfe3cc975e33b4381ab95dece3 100644
--- a/docs/cmu-user/extensions.tex
+++ b/docs/cmu-user/extensions.tex
@@ -87,7 +87,7 @@ trapping must be disabled for the underflow exception
 \w{\code{least-positive-}\var{format}-\code{float}} constants are
 denormalized.
 
-\begin{defun}{extensions:}{float-normalized-p}{\args{\var{x}}}
+\begin{defun}{extensions:}{float-denormalized-p}{\args{\var{x}}}
   
   This function returns true if \var{x} is a denormalized float.
   \var{x} must be a float.