Fix formatting for previous PR

Sorry, the formatting for the previous PR was just totally borked.
This fixes it. My bad. Apologies.