Minor fixes to formatting.