diff --git a/Frechet_distance/doc/Frechet_distance/Concepts/FrechetDistanceTraits.h b/Frechet_distance/doc/Frechet_distance/Concepts/FrechetDistanceTraits.h
index a8f57796972..6b2bd082592 100644
--- a/Frechet_distance/doc/Frechet_distance/Concepts/FrechetDistanceTraits.h
+++ b/Frechet_distance/doc/Frechet_distance/Concepts/FrechetDistanceTraits.h
@@ -20,17 +20,16 @@ class FrechetDistanceTraits {
 /*!  a fixed dimension >= 2 */
     const int dimension;
 
-/*!  a fixed dimension >= 2 */
-    static constexpr bool is_filtered;
-    /*!  a fixed dimension >= 2 */
-    static constexpr bool  is_floating_point;
+/*!  must be `true` if  `Kernel` has a nested type `Has_filtered_predicates_tag`  with `value == true`
+*/
+    static constexpr bool is_filtered = unspecified;
+
+    /*!  Must be `true` if the number type of `Kernel` is a floating point number type*/
+    static constexpr bool  is_floating_point = unspecified;
 /// \name Types
 /// @{
 
 /*! The kernel type. If this type has a nested type `Has_filtered_predicates_tag`  with `value == true`,
-    it must have a nested type `Exact_kernel`, and a nested type `C2E` with an  `operator()` that converts
-    a point of `Kernel` to a point of `Exact_kernel`. Otherwise, it must have a nested type `FT` for
-    which an overload of `to_double()` exists.
 */
 using Kernel = unspecified;
 
@@ -38,7 +37,7 @@ using Kernel = unspecified;
 */
 using Point = unspecified_type;
 
-/*! The number type of the filtered kernel. If
+/*! The number type of the filtered kernel.
 */
 using distance_t = Filtered_kernel::FT;
 
diff --git a/Frechet_distance/include/CGAL/Frechet_distance_traits_d.h b/Frechet_distance/include/CGAL/Frechet_distance_traits_d.h
index 78a02d7f4a6..366076171ae 100644
--- a/Frechet_distance/include/CGAL/Frechet_distance_traits_d.h
+++ b/Frechet_distance/include/CGAL/Frechet_distance_traits_d.h
@@ -44,13 +44,13 @@ class Frechet_distance_traits_d
     using FT = typename Kernel::FT;
     using Point = typename Kernel::Point_d;
 
-    using Bbox = CGAL::Bbox<Dimension_tag<dim>,double>;
+    using Bbox = CGAL::Bbox<Dimension_tag<dimension>,double>;
 
     static constexpr bool is_filtered = CGAL::Frechet_distance_::internal::Get_exact_kernel<Kernel>::is_filtered;
     static constexpr bool  is_floating_point = CGAL::Frechet_distance_::internal::Get_exact_kernel<Kernel>::is_floating_point;
 
     using distance_t = Interval_nt<false>;
-    using Filtered_kernel = Kernel_d_interface<Cartesian_base_d<distance_t,Dimension_tag<dim>>>;
+    using Filtered_kernel = Kernel_d_interface<Cartesian_base_d<distance_t,Dimension_tag<dimension>>>;
     using Filtered_point = typename Filtered_kernel::Point_d;
     using Construct_bbox = typename Filtered_kernel::Construct_bbox_d;
     using Squared_distance = typename Filtered_kernel::Squared_distance_d;