small fix in comment