A few ocd formatting fixes