Fix formatting mistake.