Fixed some overzealous auto-formatting.