Minor comment formatting change.