diff --git a/Number_types/include/CGAL/leda_bigfloat.h b/Number_types/include/CGAL/leda_bigfloat.h
index db20c2a77f8..7918d6274e9 100644
--- a/Number_types/include/CGAL/leda_bigfloat.h
+++ b/Number_types/include/CGAL/leda_bigfloat.h
@@ -102,7 +102,7 @@ public:
         }
         
         CGAL_IMPLICIT_INTEROPERABLE_BINARY_OPERATOR_WITH_RT( Type, 
-                Comparison_result ); 
+                Comparison_result )
     };
 
     class To_double
diff --git a/Number_types/include/CGAL/leda_bigfloat_interval.h b/Number_types/include/CGAL/leda_bigfloat_interval.h
index 4ae82457ee4..4adf68324bf 100644
--- a/Number_types/include/CGAL/leda_bigfloat_interval.h
+++ b/Number_types/include/CGAL/leda_bigfloat_interval.h
@@ -220,12 +220,12 @@ public:
 
 
 // Coercion traits:
-CGAL_DEFINE_COERCION_TRAITS_FROM_TO(short      ,leda_bigfloat_interval);
-CGAL_DEFINE_COERCION_TRAITS_FROM_TO(int        ,leda_bigfloat_interval);
-CGAL_DEFINE_COERCION_TRAITS_FROM_TO(long       ,leda_bigfloat_interval);
-CGAL_DEFINE_COERCION_TRAITS_FROM_TO(float      ,leda_bigfloat_interval);
-CGAL_DEFINE_COERCION_TRAITS_FROM_TO(double     ,leda_bigfloat_interval);
-CGAL_DEFINE_COERCION_TRAITS_FROM_TO(::leda::bigfloat   ,leda_bigfloat_interval);
+CGAL_DEFINE_COERCION_TRAITS_FROM_TO(short      ,leda_bigfloat_interval)
+CGAL_DEFINE_COERCION_TRAITS_FROM_TO(int        ,leda_bigfloat_interval)
+CGAL_DEFINE_COERCION_TRAITS_FROM_TO(long       ,leda_bigfloat_interval)
+CGAL_DEFINE_COERCION_TRAITS_FROM_TO(float      ,leda_bigfloat_interval)
+CGAL_DEFINE_COERCION_TRAITS_FROM_TO(double     ,leda_bigfloat_interval)
+CGAL_DEFINE_COERCION_TRAITS_FROM_TO(::leda::bigfloat   ,leda_bigfloat_interval)
 
 template <>
 struct Coercion_traits< leda_bigfloat_interval , ::leda::integer >{
diff --git a/Number_types/include/CGAL/leda_real.h b/Number_types/include/CGAL/leda_real.h
index 362a9bb74ce..2f10e057bd2 100644
--- a/Number_types/include/CGAL/leda_real.h
+++ b/Number_types/include/CGAL/leda_real.h
@@ -102,7 +102,7 @@ template <> class Algebraic_structure_traits< leda_real >
                        ForwardIterator begin,
                        ForwardIterator end) const {
             return CGAL_LEDA_SCOPE::diamond(k,make_polynomial(begin,end));
-        };
+        }
 /*        template <class ForwardIterator>
         Type operator()( leda_rational lower,
                                         leda_rational upper,