diff --git a/Intersections_3/include/CGAL/Intersections_3/internal/Tetrahedron_3_Bounded_3_do_intersect.h b/Intersections_3/include/CGAL/Intersections_3/internal/Tetrahedron_3_Bounded_3_do_intersect.h
index 22935fdc1ac..fa66162cafe 100644
--- a/Intersections_3/include/CGAL/Intersections_3/internal/Tetrahedron_3_Bounded_3_do_intersect.h
+++ b/Intersections_3/include/CGAL/Intersections_3/internal/Tetrahedron_3_Bounded_3_do_intersect.h
@@ -172,25 +172,25 @@ template <class K>
 inline typename K::Boolean do_intersect(const CGAL::Bbox_3 &aabb,
                                         const typename K::Tetrahedron_3 &tet,
                                         const K &k) {
-  using Tr = CGAL::Triangle_3<K>;
+  typename K::Construct_triangle_3 tr = k.construct_triangle_3_object();
   typename K::Boolean result = false;
   typename K::Boolean b = false;
 
-  b = do_intersect(aabb, Tr(tet[0], tet[1], tet[2]), k);
+  b = do_intersect(aabb, tr(tet[0], tet[1], tet[2]), k);
   if (certainly(b)) return b;
   if (is_indeterminate(b)) result = b;
-  b = do_intersect(aabb, Tr(tet[1], tet[2], tet[3]), k);
+  b = do_intersect(aabb, tr(tet[1], tet[2], tet[3]), k);
   if (certainly(b)) return b;
   if (is_indeterminate(b)) result = b;
-  b = do_intersect(aabb, Tr(tet[2], tet[3], tet[0]), k);
+  b = do_intersect(aabb, tr(tet[2], tet[3], tet[0]), k);
   if (certainly(b)) return b;
   if (is_indeterminate(b)) result = b;
-  b = do_intersect(aabb, Tr(tet[3], tet[0], tet[1]), k);
+  b = do_intersect(aabb, tr(tet[3], tet[0], tet[1]), k);
   if (certainly(b)) return b;
   if (is_indeterminate(b)) result = b;
 
   b = k.has_on_bounded_side_3_object()(
-      tet, typename K::Point_3(aabb.xmin(), aabb.ymin(), aabb.zmin()));
+      tet, k.construct_point_3_object()(aabb.xmin(), aabb.ymin(), aabb.zmin()));
   if (certainly(b)) return b;
   if (is_indeterminate(b)) result = b;