diff --git a/jbmc/regression/jbmc/classpath-invalid/test-jar.desc b/jbmc/regression/jbmc/classpath-invalid/test-jar.desc
index f0545562fa..9dd9c6081f 100644
--- a/jbmc/regression/jbmc/classpath-invalid/test-jar.desc
+++ b/jbmc/regression/jbmc/classpath-invalid/test-jar.desc
@@ -4,7 +4,7 @@ Test.class
 ^EXIT=6$
 ^SIGNAL=0$
 ^the program has no entry point$
-^failed to load class 'Test'$
+^failed to load class Test$
 --
 --
 symex-driven lazy loading should emit "the program has no entry point" but currently doesn't
diff --git a/jbmc/regression/jbmc/classpath-invalid/test-path.desc b/jbmc/regression/jbmc/classpath-invalid/test-path.desc
index f3b70faa9d..354e216bfc 100644
--- a/jbmc/regression/jbmc/classpath-invalid/test-path.desc
+++ b/jbmc/regression/jbmc/classpath-invalid/test-path.desc
@@ -4,7 +4,7 @@ Test.class
 ^EXIT=6$
 ^SIGNAL=0$
 ^the program has no entry point$
-^failed to load class 'Test'$
+^failed to load class Test$
 --
 --
 symex-driven lazy loading should emit "the program has no entry point" but currently doesn't
diff --git a/jbmc/regression/jbmc/generics_type_param/test.desc b/jbmc/regression/jbmc/generics_type_param/test.desc
index 9e1b87c986..3ff92f6b66 100644
--- a/jbmc/regression/jbmc/generics_type_param/test.desc
+++ b/jbmc/regression/jbmc/generics_type_param/test.desc
@@ -7,6 +7,6 @@ Reading class AWrapper
 Reading class FWrapper
 Reading class IWrapper
 --
-failed to load class \'AWrapper\'
-failed to load class \'FWrapper\'
-failed to load class \'IWrapper\'
+failed to load class AWrapper
+failed to load class FWrapper
+failed to load class IWrapper
diff --git a/jbmc/src/java_bytecode/java_class_loader.cpp b/jbmc/src/java_bytecode/java_class_loader.cpp
index 9034345a54..3750d11f1c 100644
--- a/jbmc/src/java_bytecode/java_class_loader.cpp
+++ b/jbmc/src/java_bytecode/java_class_loader.cpp
@@ -176,7 +176,7 @@ java_class_loadert::get_parse_tree(
     return parse_trees;
 
   // Not found or failed to load
-  warning() << "failed to load class \'" << class_name << '\'' << eom;
+  warning() << "failed to load class " << class_name << eom;
   parse_trees.emplace_back(class_name);
   return parse_trees;
 }