minor fix of comment