fix bug involving computation of polytope dimension