Fix more stupid formatting