> From: Stephen Casner <casner at acm.org> > There is an OCR error in the following: Ooops. I proofed it, and fixed a number of errors, but must have missed that one. > The character after 743 is supposed to be a comma. Fixed. Thanks for the catch! Noel