Fixed some formatting issues I accidentally introduced