Small fix in formatting