Minor cleanup to comment formatting