A few minor fixes to formatting