diff --git a/collects/scribblings/foreign/types.scrbl b/collects/scribblings/foreign/types.scrbl
index 93f66515cb..b1680f3537 100644
--- a/collects/scribblings/foreign/types.scrbl
+++ b/collects/scribblings/foreign/types.scrbl
@@ -809,7 +809,7 @@ the @racket[_float] type.
 @racketblock[
 (define-fun-syntax _float*
   (syntax-id-rules (_float*)
-    [(_float*) (type: _float pre: (x => (+ 0.0 x)))]))
+    [_float* (type: _float pre: (x => (+ 0.0 x)))]))
 
 (_fun _float* ->> _bool)]}