small fix to formatting