diff --git a/collects/scribblings/reference/custom-ports.scrbl b/collects/scribblings/reference/custom-ports.scrbl index 4977a32d07..6f5bde0888 100644 --- a/collects/scribblings/reference/custom-ports.scrbl +++ b/collects/scribblings/reference/custom-ports.scrbl @@ -693,7 +693,8 @@ s [buffer-mode (or/c (case-> ((or/c 'block 'line 'none) . -> . any) (-> (or/c 'block 'line 'none #f))) - #f)]) + #f) + #f]) output-port?]{ Creates an output port, which is immediately open for