Fix screwed-up formatting