Minor: remove redundant comment