small fixes to comments