small additions to formatting