minor fix (comments)