minor correction in comments