Tidying up the comments.