Fix up formatting a bit for office hours