Fix formatting (I hope)