diff --git a/TestModels/Extendable/runtimes/java/src/test/java/software/simple/extendable/resources/internaldafny/wrapped/__default.java b/TestModels/Extendable/runtimes/java/src/test/java/software/simple/extendable/resources/internaldafny/wrapped/__default.java
index 43c0d85f46..c56f6b6162 100644
--- a/TestModels/Extendable/runtimes/java/src/test/java/software/simple/extendable/resources/internaldafny/wrapped/__default.java
+++ b/TestModels/Extendable/runtimes/java/src/test/java/software/simple/extendable/resources/internaldafny/wrapped/__default.java
@@ -22,7 +22,7 @@ public static Result<ISimpleExtendableResourcesClient, Error> WrappedSimpleExten
         simple.extendable.resources.model.SimpleExtendableResourcesConfig wrappedConfig = ToNative.SimpleExtendableResourcesConfig(config);
         simple.extendable.resources.SimpleExtendableResources impl = SimpleExtendableResources.builder().SimpleExtendableResourcesConfig(wrappedConfig).build();
         TestSimpleExtendableResources wrappedClient = TestSimpleExtendableResources.builder().impl(impl).build();
-        return Result.create_Success(wrappedClient);
+        return Result.create_Success(dafny.TypeDescriptor.reference(ISimpleExtendableResourcesClient.class), Error._typeDescriptor(), wrappedClient);
     }
 
     /**