Fix example comment.