Removed over-long comment.