Small fixes in comments