diff --git a/Kernel_23/include/CGAL/Weighted_point_3.h b/Kernel_23/include/CGAL/Weighted_point_3.h
index f78f779eec1..f3c705beda2 100644
--- a/Kernel_23/include/CGAL/Weighted_point_3.h
+++ b/Kernel_23/include/CGAL/Weighted_point_3.h
@@ -91,62 +91,62 @@ public:
     : Rep(typename R::Construct_weighted_point_3()(Return_base_tag(), x, y, z))
   {}
 
-  typename cpp11::result_of<typename R::Construct_point_3( Weighted_point_3)>::type
+  typename cpp11::result_of<typename R::Construct_point_3(Weighted_point_3)>::type
   point() const
   {
     return typename R::Construct_point_3()(*this);
   }
 
-  typename cpp11::result_of<typename R::Compute_weight_3( Weighted_point_3)>::type
+  typename cpp11::result_of<typename R::Compute_weight_3(Weighted_point_3)>::type
   weight() const
   {
     return typename R::Compute_weight_3()(*this);
   }
 
 
-  typename cpp11::result_of<typename R::Compute_x_3( Weighted_point_3)>::type
+  typename cpp11::result_of<typename R::Compute_x_3(Point_3)>::type
   x() const
   {
     return typename R::Compute_x_3()(point());
   }
 
-  typename cpp11::result_of<typename R::Compute_y_3( Weighted_point_3)>::type
+  typename cpp11::result_of<typename R::Compute_y_3(Point_3)>::type
   y() const
   {
     return typename R::Compute_y_3()(point());
   }
 
-  typename cpp11::result_of<typename R::Compute_z_3( Weighted_point_3)>::type
+  typename cpp11::result_of<typename R::Compute_z_3(Point_3)>::type
   z() const
   {
     return typename R::Compute_z_3()(point());
   }
 
-  typename cpp11::result_of<typename R::Compute_hx_3( Weighted_point_3)>::type
+  typename cpp11::result_of<typename R::Compute_hx_3(Point_3)>::type
   hx() const
   {
     return R().compute_hx_3_object()(point());
   }
 
-  typename cpp11::result_of<typename R::Compute_hy_3( Weighted_point_3)>::type
+  typename cpp11::result_of<typename R::Compute_hy_3(Point_3)>::type
   hy() const
   {
     return R().compute_hy_3_object()(point());
   }
 
-  typename cpp11::result_of<typename R::Compute_hz_3( Weighted_point_3)>::type
+  typename cpp11::result_of<typename R::Compute_hz_3(Point_3)>::type
   hz() const
   {
     return R().compute_hz_3_object()(point());
   }
 
-  typename cpp11::result_of<typename R::Compute_hw_3( Weighted_point_3)>::type
+  typename cpp11::result_of<typename R::Compute_hw_3(Point_3)>::type
   hw() const
   {
     return R().compute_hw_3_object()(point());
   }
 
-  typename cpp11::result_of<typename R::Compute_x_3( Weighted_point_3)>::type
+  typename cpp11::result_of<typename R::Compute_x_3(Point_3)>::type
   cartesian(int i) const
   {
     CGAL_kernel_precondition( (i == 0) || (i == 1) || (i == 2) );
@@ -165,7 +165,7 @@ public:
     return hw();
   }
 
-  typename cpp11::result_of<typename R::Compute_x_3(Weighted_point_3)>::type
+  typename cpp11::result_of<typename R::Compute_x_3(Point_3)>::type
   operator[](int i) const
   {
       return cartesian(i);