Trivial rework of comments.