More minor changes in comments