Got rid of atrocious formatting