diff --git a/vdmj/src/main/java/com/fujitsu/vdmj/pog/POLaunchFactory.java b/vdmj/src/main/java/com/fujitsu/vdmj/pog/POLaunchFactory.java
index ed6dc2d70..826a5033c 100644
--- a/vdmj/src/main/java/com/fujitsu/vdmj/pog/POLaunchFactory.java
+++ b/vdmj/src/main/java/com/fujitsu/vdmj/pog/POLaunchFactory.java
@@ -283,7 +283,8 @@ private String paramMatch(POPattern p, TCType type, Context ctxt) throws Excepti
 		else
 		{
 			List<ApplyArg> lastArgs = applyCall.applyArgs.get(applyCall.applyArgs.size() - 1);
-			lastArgs.add(new ApplyArg(p.toString(), type.toString(), result));
+			String stype = type.toString().replace(" /* opaque */", "");	// HACK!
+			lastArgs.add(new ApplyArg(p.toString(), stype, result));
 			return result;
 		}
 	}