Minor fixes in comments