Fixed some formatting that got messed up