diff --git a/docs/cmu-user/aliens.tex b/docs/cmu-user/aliens.tex
index a8ef9f4440ebdc35e1ce28301c72efd04b633825..d8b4bca7498ba5862387e0f075c075fdb1b2ba98 100644
--- a/docs/cmu-user/aliens.tex
+++ b/docs/cmu-user/aliens.tex
@@ -751,7 +751,7 @@ and two return values (\var{a} and \var{i}).
 macro:
 
 \begin{defmac}{alien:}{def-callback}{\var{name} (\var{return-type}
-    \mstar{(arg-name arg-type)})}
+    \mstar{(arg-name arg-type)}) \ampbody\ body}
   This macro defines a Lisp function that can be called from C and a
   Lisp variable.  The arguments to the function must be alien types,
   and the return type must also be an alien type.  This Lisp function
@@ -792,8 +792,7 @@ Here is a simple example of using callbacks.
   (+ arg1 arg2))
 
 (defun test-foo ()
-  (alien-funcall (sap-alien (callback foo) (function int int int))
-                 555 444444))
+  (callback-funcall foo 555 444444))
 \end{lisp}
 
 In this example, the callback function \code{foo} is defined which