Fixed some formatting mistakes from previous commit