minor fix to comment