syntax fix for polymake module