correction to typo in comments