Copyedits in comments.