Fixed up some of the formattings from the previous submit