diff --git a/src/main/gov/nasa/jpf/symbc/bytecode/INVOKESTATIC.java b/src/main/gov/nasa/jpf/symbc/bytecode/INVOKESTATIC.java
index a0326692..ab885e9b 100644
--- a/src/main/gov/nasa/jpf/symbc/bytecode/INVOKESTATIC.java
+++ b/src/main/gov/nasa/jpf/symbc/bytecode/INVOKESTATIC.java
@@ -39,7 +39,7 @@ public Instruction execute( ThreadInfo th) {
 
 	    MethodInfo callee = getInvokedMethod(th);
 	    if (callee == null) {
-	      return th.createAndThrowException("java.lang.NoSuchMethodException!!",
+	      return th.createAndThrowException("java.lang.NoSuchMethodException",
 	                                   cname + '.' + mname);
 	    }
         BytecodeUtils.InstructionOrSuper nextInstr = BytecodeUtils.execute(this, th);