Minor comment formatting fix.