Fix Polyhedron.isempty()