minor fix to comments