fix formatting (I hope)