- Minor incorrect-comment change.