diff --git a/distribution/lib/Standard/Base/0.0.0-dev/src/Runtime/Managed_Resource.enso b/distribution/lib/Standard/Base/0.0.0-dev/src/Runtime/Managed_Resource.enso
index cc7a010ce406..8ae9ffdf530c 100644
--- a/distribution/lib/Standard/Base/0.0.0-dev/src/Runtime/Managed_Resource.enso
+++ b/distribution/lib/Standard/Base/0.0.0-dev/src/Runtime/Managed_Resource.enso
@@ -52,7 +52,7 @@ type Managed_Resource
        Returns:
        A `Managed_Resource` object that can be used to access the resource.
     register : Any -> (Any -> Nothing) -> Boolean -> Managed_Resource
-    register resource function system_finalization_allowed=Boolean.False =
+    register resource function system_finalization_allowed=False =
         @Tail_Call register_builtin resource function system_finalization_allowed
 
     ## PRIVATE