diff --git a/src/hw-cbmc/hw_bmc.cpp b/src/hw-cbmc/hw_bmc.cpp
index 32572a3d1..008df8188 100644
--- a/src/hw-cbmc/hw_bmc.cpp
+++ b/src/hw-cbmc/hw_bmc.cpp
@@ -33,8 +33,8 @@ void hw_bmct::do_unwind_module()
   
   const symbolt &symbol=ns.lookup(unwind_module);
 
-  status() << "Unwinding transition system " << symbol.name
-           << " with " << unwind_no_timeframes
+  status() << "Unwinding transition system `" << symbol.name
+           << "' with " << unwind_no_timeframes
            << " time frames" << eom;
 
   ::unwind(