Minor fixes to formatting