Minor updates to formatting