diff --git a/fmi2/rule-model/Validation.vdmsl b/fmi2/rule-model/Validation.vdmsl
index 03a7651..0e2c404 100644
--- a/fmi2/rule-model/Validation.vdmsl
+++ b/fmi2/rule-model/Validation.vdmsl
@@ -34,7 +34,7 @@ functions
 	isValidFMIConfiguration: FmiModelDescription | FmiBuildDescription | FmiTerminalsAndIcons +> bool
 	isValidFMIConfiguration(conf) ==
 		if validationError <> nil
-		then /* @Printf("%s\n", validationError) */ false
+		then /* @Printf("%#s\n", validationError) */ false
 		
 		elseif is_(conf, FmiModelDescription)
 		then inv_FmiModelDescription'(conf)
@@ -54,7 +54,7 @@ functions
 	isValidFMIConfigurations: [FmiModelDescription] * [FmiBuildDescription] * [FmiTerminalsAndIcons] +> bool
 	isValidFMIConfigurations(model, build, terminals) == allOf
 	([
-		validationError <> nil => /* @Printf("%s\n", validationError) */ false,
+		validationError <> nil => /* @Printf("%#s\n", validationError) */ false,
 		
 		model <> nil => inv_FmiModelDescription'(model),
 		build <> nil => inv_FmiBuildDescription'(build),
diff --git a/fmi3/rule-model/Validation.vdmsl b/fmi3/rule-model/Validation.vdmsl
index f36e0dd..17b50dc 100644
--- a/fmi3/rule-model/Validation.vdmsl
+++ b/fmi3/rule-model/Validation.vdmsl
@@ -34,7 +34,7 @@ functions
 	isValidFMIConfiguration: FmiModelDescription | FmiBuildDescription | FmiTerminalsAndIcons +> bool
 	isValidFMIConfiguration(conf) ==
 		if validationError <> nil
-		then /* @Printf("%s\n", validationError) */ false
+		then /* @Printf("%#s\n", validationError) */ false
 		
 		elseif is_(conf, FmiModelDescription)
 		then inv_FmiModelDescription'(conf)
@@ -54,7 +54,7 @@ functions
 	isValidFMIConfigurations: [FmiModelDescription] * [FmiBuildDescription] * [FmiTerminalsAndIcons] +> bool
 	isValidFMIConfigurations(model, build, terminals) == allOf
 	([
-		validationError <> nil => /* @Printf("%s\n", validationError) */ false,
+		validationError <> nil => /* @Printf("%#s\n", validationError) */ false,
 		
 		model <> nil => inv_FmiModelDescription'(model),
 		build <> nil => inv_FmiBuildDescription'(build),