small fix in formatting