Minor comment formatting.