Fix formatting, because it feels like accomplishing something