minor fix to a comment