Commit df0f9ef34f9147771c45b595a104353d0d9c8ab0

henry 2002-12-20T10:16:27

Minor formatting