diff --git a/forge/sigs.rkt b/forge/sigs.rkt
index 804527fd..2cd41f15 100644
--- a/forge/sigs.rkt
+++ b/forge/sigs.rkt
@@ -1012,7 +1012,7 @@
     (define sterling-or-instance (if (equal? (get-option run 'run_sterling) 'off)
                                      (format "Sterling disabled, so reporting raw instance data:~n~a" instance)
                                      "Running Sterling to show instance (or unsat) generated..."))
-    (raise-forge-error #:msg (format "Test ~a failed. ~a~n~n" name sterling-or-instance)
+    (raise-forge-error #:msg (format "~a ~a~n~n" msg sterling-or-instance)
                        #:context context
                        #:raise? #f)
     ; Display in Sterling (if run_sterling is enabled)
diff --git a/forge/tests/error/properties_undirected_tree_underconstraint_multiple_errors.frg b/forge/tests/error/properties_undirected_tree_underconstraint_multiple_errors.frg
index b836a514..3dfc1cf0 100644
--- a/forge/tests/error/properties_undirected_tree_underconstraint_multiple_errors.frg
+++ b/forge/tests/error/properties_undirected_tree_underconstraint_multiple_errors.frg
@@ -31,6 +31,6 @@ pred TreeWithEdges
     some edges
  } 
 
- assert TreeWithEdges is necessary for isUndirectedTree
+assert TreeWithEdges is necessary for isUndirectedTree
 assert all n : Node | TreeWithEdges is necessary for isUndirectedTree