small fix in code comment