Small fix to formatting