@c FIXME: I wanted to use @registeredsymbol{}, but that's 
 @c only available in Texinfo 4.7.  sigh.
 The @code{sb-aclrepl} module offers an Allegro CL-style
-Read-Eval-Print Loop for SBCL, with integrated inspector.  Adding an
+Read-Eval-Print Loop for SBCL, with integrated inspector.  Adding a
 debugger interface is planned.
 
 @subsection Usage
 
 <p>The TCP and UDP sockets that you know and love.  Some representation issues:
 <ul>
 <li>These functions do not accept hostnames directly: see <a href="#name-service">name resolution</a>
-<li>Internet <b>addresses</b> are represented by vectors of <tt>(unsigned-byte 8)</tt> - viz. <tt>#(127 0 0 1)</tt>.  <b>Ports</b> are just integers: <tt>6010</tt>.  No conversion between network- and host-order data is needed from the user of this package.
+<li>Internet <b>addresses</b> are represented by sequences of <tt>(unsigned-byte 8)</tt> - viz. <tt>#(127 0 0 1)</tt>.  <b>Ports</b> are just integers: <tt>6010</tt>.  No conversion between network- and host-order data is needed from the user of this package.
 <li><b><i>socket addresses</i></b> are represented by the two values for <b>address</b> and <b>port</b>, so for example, <tt>(<a href="#SOCKET-CONNECT">socket-connect</a> s #(192 168 1 1) 80)</tt>
 </ul>
 
 
             (printf "(sb-grovel::define-foreign-routine (\"~A\" ~A)" f-cname lispname)
             (printf "~{  ~W~^\\n~})" definition)))
          (:structure
-          ;; FIXME: structure slots should be auto-exportable as well.
           (c-for-structure lispname cname))
          (otherwise
           ;; should we really not sprechen espagnol, monsieurs?
 
   (require :sb-grovel))
 
 (defpackage :example-package.system
-            (:use :cl :asdf :sb-grovel))
+            (:use :cl :asdf :sb-grovel :sb-alien))
 
 (in-package :example-package.system)
             
 @item
 @code{:integer} - constant expressions in C. Used in this form:
 @lisp
- (:integer lisp-variable-name "C expression")
+ (:integer lisp-variable-name "C expression" &optional doc export)
 @end lisp
 
 @code{"C expression"} will be typically be the name of a constant. But
 
 @code{sb-alien:null-alien} function.
 
 @item
-The foreign type specifier @code{(array @var{foo} &optional
+The foreign type specifier @code{(array @var{foo} &rest
 dimensions)} describes array of the specified @code{dimensions},
 holding elements of type @var{foo}. Note that (unlike in C) @code{(*
 @var{foo})} and @code{(array @var{foo})} are considered to be
 
 @quotation
 Note: As of SBCL 0.7.5, all foreign code (code loaded with
-@code{load-1-function} or @code{load-function}) is lost when a Lisp
+@code{load-shared-object}) is lost when a Lisp
 core is saved with @code{sb-ext:save-lisp-and-die}, and no attempt is
 made to restore it when the core is loaded. Historically this has been
 an annoyance both for SBCL users and for CMUCL users.  It's hard to
 
 ;;; checkins which aren't released. (And occasionally for internal
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"0.8.12.49"
+"0.8.12.50"