minor fix in comment