accessors that are related by inheritance, as specified in the
     :CONC-NAME section of the specification of DEFSTRUCT.  (thanks to
     Valtteri Vuorikoski)
-  * the compiler is now able to inline functions that were defined in
+  * The compiler is now able to inline functions that were defined in
     a complex lexical environment (e.g. inside a MACROLET).
   * fixed bug in DESCRIBE, which now works on rank-0 arrays.  (thanks
     to Lutz Euler)
-  * support for the upcoming FreeBSD-5.0 release has been included.
+  * Support for the upcoming FreeBSD-5.0 release has been included.
     (thanks to Dag-Erling Smorgrav)
   * fixed bug 219: DEFINE-COMPILER-MACRO no longer has compile-time
     effect when it is not in a toplevel context.
   * fixed bug in COERCE, which now signals an error on coercing a
     rational to a bounded real type which excludes the expected
     answer.
-  * the compiler is now able to derive types more accurately from the
+  * The compiler is now able to derive types more accurately from the
     COERCE and COMPILE functions.
   * fixed bug 223: functional binding is considered to be constant
     only for symbols in the CL package.
   * fixed bug 231: SETQ did not check the type of a variable being set
     (reported by Robert E. Brown)
-  * a new optimization for MAKE-INSTANCE has been included, fixing
+  * A new optimization for MAKE-INSTANCE has been included, fixing
     various bugs (including relating to :ALLOCATION :CLASS slots and
     :DEFAULT-INITARGS over-eager evalueation).  (thanks to Gerd
     Moellmann)
-  * fixed some more bugs revealed by Paul Dietz' test suite:
+  * fixed some LOOP bugs revealed by Paul Dietz' test suite:
     ** As required by ANSI, LOOP now disallows anonymous collection
        clauses such as COLLECT I in conjunction with aggregate boolean
        clauses such as THEREIS (= I 1);
        to WITH A = 1 WITH A = (1+ A);
     ** IT is only a special loop symbol within the first clause of a
        conditional loop clause;
+    ** LOOP with a typed iteration variable over a hashtable now
+       signals a type error iff it should.
+  * fixed some other bugs revealed by Paul Dietz' test suite:
     ** FILE-STREAM now names the class previously known as FD-STREAM;
     ** in DEFSTRUCT, a bare :CONC-NAME (or a :CONC-NAME with no
        argument) no longer signals an error;
        of the slot symbol, rather than using the current package
        ((:CONC-NAME "") continues to intern the slot's name in the
        current package);
-    ** LOOP with a typed iteration variable over a hashtable now
-       signals a type error iff it should;
   * incremented fasl file version number, because of the incompatible
     change to the DEFSTRUCT-DESCRIPTION structure, and again because
     of the new implementation of DEFINE-COMPILER-MACRO.