Minor changes to formatting