diff --git a/doc/lispref/numbers.texi b/doc/lispref/numbers.texi
index a95c31f4682..d9fb43258ea 100644
--- a/doc/lispref/numbers.texi
+++ b/doc/lispref/numbers.texi
@@ -888,6 +888,7 @@ On the other hand, shifting one place to the right looks like this:
 @noindent
 As the example illustrates, shifting one place to the right divides the
 value of a positive integer by two, rounding downward.
+@end defun
 
 @defun ash integer1 count
 @cindex arithmetic shift