fixed prof's atrocious formatting