diff --git a/plugins/simulator/hal_simulator/src/simulation_gate/simulation_gate_ram.cpp b/plugins/simulator/hal_simulator/src/simulation_gate/simulation_gate_ram.cpp
index 2854c92b30f..54c3dec3be5 100644
--- a/plugins/simulator/hal_simulator/src/simulation_gate/simulation_gate_ram.cpp
+++ b/plugins/simulator/hal_simulator/src/simulation_gate/simulation_gate_ram.cpp
@@ -140,7 +140,7 @@ namespace hal
                     break;
                 case BooleanFunction::Value::X:
                 case BooleanFunction::Value::Z:
-                    log_error("hal_simulator", "RAM gate '{}' with ID {} of type {} cannot be initialized with value '{}'.", m_gate->get_name(), m_gate->get_id(), gate_type->get_name(), value);
+                    log_error("hal_simulator", "RAM gate '{}' with ID {} of type {} cannot be initialized with value '{}'.", m_gate->get_name(), m_gate->get_id(), gate_type->get_name(), BooleanFunction::to_string(value));
                     return;
             }
 
diff --git a/plugins/z3_utils/src/converter/cpp_converter.cpp b/plugins/z3_utils/src/converter/cpp_converter.cpp
index 3fc63666c64..c85929eff47 100644
--- a/plugins/z3_utils/src/converter/cpp_converter.cpp
+++ b/plugins/z3_utils/src/converter/cpp_converter.cpp
@@ -65,7 +65,7 @@ namespace hal
                     op.erase(op.size() - 3);
                     break;
                 default:
-                    log_error("z3_utils", "unkown operation for operation building ({})", operation);
+                    log_error("z3_utils", "unkown operation for operation building ({})", operation_to_string(operation));
                     return "NOT IMPLEMENTED REACHED";
             }
 
diff --git a/plugins/z3_utils/src/converter/verilog_converter.cpp b/plugins/z3_utils/src/converter/verilog_converter.cpp
index be83f158868..6f0743bbe92 100644
--- a/plugins/z3_utils/src/converter/verilog_converter.cpp
+++ b/plugins/z3_utils/src/converter/verilog_converter.cpp
@@ -57,7 +57,7 @@ namespace hal
                     op.erase(op.size() - 3);
                     break;
                 default:
-                    log_error("verifiaction", "unkown operation for operation building ({})", operation);
+                    log_error("verifiaction", "unkown operation for operation building ({})", operation_to_string(operation));
                     return "NOT IMPLEMENTED REACHED";
             }