minor updates to formatting