diff --git a/src/c/alloc_2.d b/src/c/alloc_2.d
index 94a77d080..57b151870 100644
--- a/src/c/alloc_2.d
+++ b/src/c/alloc_2.d
@@ -1478,7 +1478,11 @@ si_weak_pointer_value(cl_object o)
     FEwrong_type_only_arg(@[ext::weak-pointer-value], o,
                           @[ext::weak-pointer]);
   value = (cl_object)GC_call_with_alloc_lock((GC_fn_type)ecl_weak_pointer_value, o);
-  @(return (value? value : ECL_NIL));
+  if (value) {
+    @(return value ECL_T);
+  } else {
+    @(return ECL_NIL ECL_NIL);
+  }
 }
 
 #endif /* GBC_BOEHM */