Style fixes in comments