Made very minor aesthetic changes to the comments.