diff --git a/ogma-core/src/Language/Trans/Spec2Copilot.hs b/ogma-core/src/Language/Trans/Spec2Copilot.hs
index a23e69b..195adc9 100644
--- a/ogma-core/src/Language/Trans/Spec2Copilot.hs
+++ b/ogma-core/src/Language/Trans/Spec2Copilot.hs
@@ -214,7 +214,7 @@ spec2Copilot specName typeMaps exprTransform showExpr spec =
                        ++ propName ++ ") " ++ "[]"
           where
             handlerName = "handler" ++ requirementName r
-            propName    = requirementName r
+            propName    = safeMap nameSubstitutions (requirementName r)
 
     -- Main program that compiles specification to C in two files (code and
     -- header).