Some small changes to formatting