diff --git a/Hyperbolic_triangulation_2/benchmark/Hyperbolic_triangulation_2/bench_insertion_with_different_kernels.cpp b/Hyperbolic_triangulation_2/benchmark/Hyperbolic_triangulation_2/bench_insertion_with_different_kernels.cpp
index 4e88079278c..743d8779cb6 100644
--- a/Hyperbolic_triangulation_2/benchmark/Hyperbolic_triangulation_2/bench_insertion_with_different_kernels.cpp
+++ b/Hyperbolic_triangulation_2/benchmark/Hyperbolic_triangulation_2/bench_insertion_with_different_kernels.cpp
@@ -3,7 +3,7 @@
 #include <CGAL/Hyperbolic_Delaunay_triangulation_2.h>
 #include <CGAL/Hyperbolic_Delaunay_triangulation_CK_traits_2.h>
 #include <CGAL/Hyperbolic_Delaunay_triangulation_traits_2.h>
-
+#include <CGAL/Cartesian.h>
 #include <CGAL/point_generators_2.h>
 #include <CGAL/Timer.h>
 
@@ -80,8 +80,7 @@ std::pair<double,double> insert_CK_points(const std::vector<NT_point>& dpts)
 template<typename NT_point>
 std::pair<double,double> insert_CORE_points(const std::vector<NT_point>& dpts)
 {
-  typedef CGAL::Cartesian<CORE::Expr>                             K;
-  typedef CGAL::Hyperbolic_Delaunay_triangulation_traits_2<K>     Gt;
+  typedef CGAL::Hyperbolic_Delaunay_triangulation_traits_2<>      Gt;
   typedef Gt::Point_2                                             Point_2;
   typedef CGAL::Hyperbolic_Delaunay_triangulation_2<Gt>           Dt;
 
diff --git a/Hyperbolic_triangulation_2/doc/Hyperbolic_triangulation_2/CGAL/Hyperbolic_Delaunay_triangulation_traits_2.h b/Hyperbolic_triangulation_2/doc/Hyperbolic_triangulation_2/CGAL/Hyperbolic_Delaunay_triangulation_traits_2.h
index bca727e3b00..76b285babfa 100644
--- a/Hyperbolic_triangulation_2/doc/Hyperbolic_triangulation_2/CGAL/Hyperbolic_Delaunay_triangulation_traits_2.h
+++ b/Hyperbolic_triangulation_2/doc/Hyperbolic_triangulation_2/CGAL/Hyperbolic_Delaunay_triangulation_traits_2.h
@@ -14,8 +14,9 @@ offered by %CGAL.
 
 If `K` provides exact computations with square roots, then this class automatically 
 provides exact constructions and predicates. The default value for `K` is 
-`CGAL::Cartesian<CORE::Expr>`, which guarantees exact constructions of Delaunay 
-triangulations and dual objects for input points with algebraic coordinates. 
+`Exact_predicates_exact_constructions_kernel_with_sqrt`, which guarantees exact 
+constructions of Delaunay triangulations and dual objects for input points with 
+algebraic coordinates. 
 
 \sa Hyperbolic_Delaunay_triangulation_CK_traits_2
 
diff --git a/Hyperbolic_triangulation_2/doc/Hyperbolic_triangulation_2/PackageDescription.txt b/Hyperbolic_triangulation_2/doc/Hyperbolic_triangulation_2/PackageDescription.txt
index 14dc2458bb8..ef27c7d7c44 100644
--- a/Hyperbolic_triangulation_2/doc/Hyperbolic_triangulation_2/PackageDescription.txt
+++ b/Hyperbolic_triangulation_2/doc/Hyperbolic_triangulation_2/PackageDescription.txt
@@ -55,7 +55,7 @@ The Delaunay triangulation of a set of points \f$P\f$ in the hyperbolic plane \f
 - `CGAL::Hyperbolic_triangulation_face_base_2`
 
 Two models for the concept `HyperbolicDelaunayTriangulationTraits_2` are provided: 
-- `CGAL::Hyperbolic_Delaunay_triangulation_traits_2` is by default based upon `CGAL::Cartesian<CORE::Expr>` and guarantees exact constructions of Delaunay triangulations and dual objects for input points with algebraic coordinates. 
+- `CGAL::Hyperbolic_Delaunay_triangulation_traits_2` is by default based upon `CGAL::Exact_predicates_exact_constructions_kernel_with_sqrt` and guarantees exact constructions of Delaunay triangulations and dual objects for input points with algebraic coordinates. 
 - `CGAL::Hyperbolic_Delaunay_triangulation_CK_traits_2` is based upon `CGAL::Circular_kernel_2` and guarantees exact constructions of Delaunay triangulations and dual objects when the input points have rational coordinates.
 
 The model `CGAL::Hyperbolic_Delaunay_triangulation_CK_traits_2` is faster than `CGAL::Hyperbolic_Delaunay_triangulation_traits_2` for points with rational coordinates.
diff --git a/Hyperbolic_triangulation_2/include/CGAL/Hyperbolic_Delaunay_triangulation_traits_2.h b/Hyperbolic_triangulation_2/include/CGAL/Hyperbolic_Delaunay_triangulation_traits_2.h
index bf26b653c9a..df10e70a3ba 100644
--- a/Hyperbolic_triangulation_2/include/CGAL/Hyperbolic_Delaunay_triangulation_traits_2.h
+++ b/Hyperbolic_triangulation_2/include/CGAL/Hyperbolic_Delaunay_triangulation_traits_2.h
@@ -24,12 +24,10 @@
 #define CGAL_HYPERBOLIC_DELAUNAY_TRIANGULATION_TRAITS_2_H
 
 #include <CGAL/license/Hyperbolic_triangulation_2.h>
-
+#include <CGAL/Exact_predicates_exact_constructions_kernel_with_sqrt.h>
 #include <CGAL/basic.h>
 #include <CGAL/basic_constructions_2.h>
 #include <CGAL/Bbox_2.h>
-#include <CGAL/Cartesian.h>
-#include <CGAL/CORE_Expr.h>
 #include <CGAL/determinant.h>
 #include <CGAL/distance_predicates_2.h>
 #include <CGAL/internal/Exact_complex.h>
@@ -465,7 +463,9 @@ private:
 
 } // end namespace internal
 
-template<typename Kernel = CGAL::Cartesian<CORE::Expr> >
+//template<typename Kernel = CGAL::Cartesian<CORE::Expr> >
+
+template<typename Kernel = Exact_predicates_exact_constructions_kernel_with_sqrt>
 class Hyperbolic_Delaunay_triangulation_traits_2
   : public Kernel
 {
diff --git a/Hyperbolic_triangulation_2/test/Hyperbolic_triangulation_2/ht2_test_clear.cpp b/Hyperbolic_triangulation_2/test/Hyperbolic_triangulation_2/ht2_test_clear.cpp
index 43b61df6ca9..88dc491902c 100644
--- a/Hyperbolic_triangulation_2/test/Hyperbolic_triangulation_2/ht2_test_clear.cpp
+++ b/Hyperbolic_triangulation_2/test/Hyperbolic_triangulation_2/ht2_test_clear.cpp
@@ -1,6 +1,5 @@
 #include <CGAL/Hyperbolic_Delaunay_triangulation_2.h>
 #include <CGAL/Hyperbolic_Delaunay_triangulation_traits_2.h>
-#include <CGAL/Exact_predicates_inexact_constructions_kernel.h>
 #include <CGAL/point_generators_2.h>
                                     						
 typedef CGAL::Hyperbolic_Delaunay_triangulation_traits_2<>  Traits;
diff --git a/Hyperbolic_triangulation_2/test/Hyperbolic_triangulation_2/ht2_test_copy.cpp b/Hyperbolic_triangulation_2/test/Hyperbolic_triangulation_2/ht2_test_copy.cpp
index d81574b12ce..8fbf6f329cd 100644
--- a/Hyperbolic_triangulation_2/test/Hyperbolic_triangulation_2/ht2_test_copy.cpp
+++ b/Hyperbolic_triangulation_2/test/Hyperbolic_triangulation_2/ht2_test_copy.cpp
@@ -1,6 +1,5 @@
 #include <CGAL/Hyperbolic_Delaunay_triangulation_2.h>
 #include <CGAL/Hyperbolic_Delaunay_triangulation_traits_2.h>
-#include <CGAL/Exact_predicates_inexact_constructions_kernel.h>
 #include <CGAL/point_generators_2.h>
                                     						
 typedef CGAL::Hyperbolic_Delaunay_triangulation_traits_2<>  Traits;
diff --git a/Hyperbolic_triangulation_2/test/Hyperbolic_triangulation_2/ht2_test_hyperbolic_circulator.cpp b/Hyperbolic_triangulation_2/test/Hyperbolic_triangulation_2/ht2_test_hyperbolic_circulator.cpp
index 94e23e162a6..25fbda6d3cf 100644
--- a/Hyperbolic_triangulation_2/test/Hyperbolic_triangulation_2/ht2_test_hyperbolic_circulator.cpp
+++ b/Hyperbolic_triangulation_2/test/Hyperbolic_triangulation_2/ht2_test_hyperbolic_circulator.cpp
@@ -1,6 +1,5 @@
 #include <CGAL/Hyperbolic_Delaunay_triangulation_2.h>
 #include <CGAL/Hyperbolic_Delaunay_triangulation_traits_2.h>
-#include <CGAL/Exact_predicates_inexact_constructions_kernel.h>
 #include <CGAL/point_generators_2.h>
                                     						
 typedef CGAL::Hyperbolic_Delaunay_triangulation_traits_2<>  Traits;
diff --git a/Hyperbolic_triangulation_2/test/Hyperbolic_triangulation_2/ht2_test_locate.cpp b/Hyperbolic_triangulation_2/test/Hyperbolic_triangulation_2/ht2_test_locate.cpp
index 7f150e7536a..4b471103f88 100644
--- a/Hyperbolic_triangulation_2/test/Hyperbolic_triangulation_2/ht2_test_locate.cpp
+++ b/Hyperbolic_triangulation_2/test/Hyperbolic_triangulation_2/ht2_test_locate.cpp
@@ -1,6 +1,5 @@
 #include <CGAL/Hyperbolic_Delaunay_triangulation_2.h>
 #include <CGAL/Hyperbolic_Delaunay_triangulation_traits_2.h>
-#include <CGAL/Exact_predicates_inexact_constructions_kernel.h>
 #include <CGAL/point_generators_2.h>
                                     						
 typedef CGAL::Hyperbolic_Delaunay_triangulation_traits_2<>  Traits;
diff --git a/Hyperbolic_triangulation_2/test/Hyperbolic_triangulation_2/ht2_test_remove.cpp b/Hyperbolic_triangulation_2/test/Hyperbolic_triangulation_2/ht2_test_remove.cpp
index 2d92ac8efcf..48d95d9e9c4 100644
--- a/Hyperbolic_triangulation_2/test/Hyperbolic_triangulation_2/ht2_test_remove.cpp
+++ b/Hyperbolic_triangulation_2/test/Hyperbolic_triangulation_2/ht2_test_remove.cpp
@@ -1,6 +1,5 @@
 #include <CGAL/Hyperbolic_Delaunay_triangulation_2.h>
 #include <CGAL/Hyperbolic_Delaunay_triangulation_traits_2.h>
-#include <CGAL/Exact_predicates_inexact_constructions_kernel.h>
 #include <CGAL/point_generators_2.h>
                                     						
 typedef CGAL::Hyperbolic_Delaunay_triangulation_traits_2<>  Traits;
diff --git a/Hyperbolic_triangulation_2/test/Hyperbolic_triangulation_2/ht2_test_swap.cpp b/Hyperbolic_triangulation_2/test/Hyperbolic_triangulation_2/ht2_test_swap.cpp
index 7678bbf795b..d716f3b26c7 100644
--- a/Hyperbolic_triangulation_2/test/Hyperbolic_triangulation_2/ht2_test_swap.cpp
+++ b/Hyperbolic_triangulation_2/test/Hyperbolic_triangulation_2/ht2_test_swap.cpp
@@ -1,6 +1,5 @@
 #include <CGAL/Hyperbolic_Delaunay_triangulation_2.h>
 #include <CGAL/Hyperbolic_Delaunay_triangulation_traits_2.h>
-#include <CGAL/Exact_predicates_inexact_constructions_kernel.h>
 #include <CGAL/point_generators_2.h>
                                     						
 typedef CGAL::Hyperbolic_Delaunay_triangulation_traits_2<>  Traits;