small fixes in comments