Fix formatting that got messed up