added CGAL changes