diff --git a/dune/codegen/sumfact/oc_horizontaladd.hh b/dune/codegen/sumfact/oc_horizontaladd.hh
index d1860bb74c14a66b60e5969a61e9dbec86734a6b..d7bc00783160d17d9d6606d9447cbb68911dc4de 100644
--- a/dune/codegen/sumfact/oc_horizontaladd.hh
+++ b/dune/codegen/sumfact/oc_horizontaladd.hh
@@ -6,19 +6,19 @@
 
 
 template<class V>
-typename base_floatingpoint<V>::value horizontal_add_lower(const V& x)
+typename base_floatingpoint<V>::value permuting_horizontal_add_lower(const V& x)
 {
   return horizontal_add(x.get_low());
 }
 
 template<class V>
-typename base_floatingpoint<V>::value horizontal_add_upper(const V& x)
+typename base_floatingpoint<V>::value permuting_horizontal_add_upper(const V& x)
 {
   return horizontal_add(x.get_high());
 }
 
 template<class V>
-typename base_floatingpoint<V>::value horizontal_add(const V& x)
+typename base_floatingpoint<V>::value permuting_horizontal_add(const V& x)
 {
   return horizontal_add(x);
 }