Small fixes to formatting