-Codechange: minor inconsistency in comments