One more stray formatting violation