Made cosmetic changes to the comments.