Cosmetic fix.
Started refactoring Polytope stuff.