minor fix (comment)