diff --git a/Kinetic_space_partition/include/CGAL/KSP_3/Data_structure.h b/Kinetic_space_partition/include/CGAL/KSP_3/Data_structure.h
index 5f54eeedfb7..0e2de7bdf8a 100644
--- a/Kinetic_space_partition/include/CGAL/KSP_3/Data_structure.h
+++ b/Kinetic_space_partition/include/CGAL/KSP_3/Data_structure.h
@@ -26,6 +26,8 @@
 #include <CGAL/KSP_3/Support_plane.h>
 #include <CGAL/KSP_3/Intersection_graph.h>
 
+#include <CGAL/Exact_predicates_exact_constructions_kernel.h>
+
 namespace CGAL {
 namespace KSP_3 {
 namespace internal {
@@ -245,7 +247,7 @@ private:
 
 public:
   Data_structure(const Parameters& parameters, const std::string &prefix) : to_exact(), from_exact(), m_parameters(parameters), m_prefix(prefix) {
-    bool k = std::is_same<EPECK, Intersection_kernel>();
+    bool k = std::is_same_v<Exact_predicates_exact_constructions_kernel, Intersection_kernel>;
     std::string kern = k ? "EPECK" : "GMPQ";
 #if _DEBUG
     eventlog = std::ofstream("propagation_dbg" + kern + ".txt");
@@ -465,7 +467,7 @@ public:
 
     std::size_t num;
 
-    Vector_2 tt = to_target.vector(), ts = to_source.vector();
+    // Vector_2 tt = to_target.vector(), ts = to_source.vector();
     IkVector_2 tt2 = to_target2.vector(), ts2 = to_source2.vector();
     bool ccw = (tt2.x() * ts2.y() - tt2.y() * ts2.x()) < 0;
 
diff --git a/Kinetic_space_partition/include/CGAL/KSP_3/Initializer.h b/Kinetic_space_partition/include/CGAL/KSP_3/Initializer.h
index fef404a7a65..faf859df1a1 100644
--- a/Kinetic_space_partition/include/CGAL/KSP_3/Initializer.h
+++ b/Kinetic_space_partition/include/CGAL/KSP_3/Initializer.h
@@ -138,7 +138,7 @@ public:
     /*
 
     // What data exists here and needs to be compared? The vertex positions of the igraph are identical and the number of faces too
-    bool k = std::is_same<EPECK, Intersection_kernel>();
+    bool k = std::is_same_v<EPECK, Intersection_kernel>;
     std::string kern = k ? "EPECK" : "GMPQ";
 #if _DEBUG
     std::ofstream fs("after_init_dbg" + kern + ".txt");
diff --git a/Kinetic_space_partition/include/CGAL/KSP_3/Support_plane.h b/Kinetic_space_partition/include/CGAL/KSP_3/Support_plane.h
index 31efe93dc42..fb808060521 100644
--- a/Kinetic_space_partition/include/CGAL/KSP_3/Support_plane.h
+++ b/Kinetic_space_partition/include/CGAL/KSP_3/Support_plane.h
@@ -132,7 +132,7 @@ public:
   };
 
 private:
-  static constexpr bool identical_kernel = !std::is_same<Kernel, Intersection_kernel>();
+  static constexpr bool identical_kernel = !std::is_same_v<Kernel, Intersection_kernel>;
 
   std::shared_ptr<Data> m_data;
 
diff --git a/Kinetic_space_partition/include/CGAL/Kinetic_space_partition_3.h b/Kinetic_space_partition/include/CGAL/Kinetic_space_partition_3.h
index 3111d99f5b5..431c063dcf2 100644
--- a/Kinetic_space_partition/include/CGAL/Kinetic_space_partition_3.h
+++ b/Kinetic_space_partition/include/CGAL/Kinetic_space_partition_3.h
@@ -777,13 +777,12 @@ public:
     std::vector<typename Intersection_kernel::Point_3> vtx;
     std::vector<Index> vtx_index;
 
-    using LCC_kernel = CGAL::Kernel_traits<typename LCC::Point>::Kernel;
+    using LCC_kernel = typename CGAL::Kernel_traits<typename LCC::Point>::Kernel;
 
     using To_lcc = CGAL::Cartesian_converter<Intersection_kernel, LCC_kernel>;
 
     To_lcc to_lcc;
 
-    From_exact from_exact;
     To_exact to_exact;
 
     std::vector<Index> faces_of_volume, vtx_of_face;