Fix now redundant comment.