Remove false impression conveyed by copy-and-pasted comment.