Tidy and update the introductory comments.