minor cosmetics and comments.