bug fix in polytope