Minor English touchup in a comment.