small fix in comments