Re: [PATCH] riched20: Tweak the wording of a comment.