On Sun, Dec 30, 2001 at 06:14:01PM -0500, David Edelsohn wrote: > Mark announced that the style is no blank after "!". Forgot about that. Fixed in my pre-commit sources. r~