Some small improvements in the comments.