small fix of comment