diff --git a/test/decompiler/reference/engine/ui/credits_REF.gc b/test/decompiler/reference/engine/ui/credits_REF.gc
index 441dcc5c5c..f7d1c3c9cb 100644
--- a/test/decompiler/reference/engine/ui/credits_REF.gc
+++ b/test/decompiler/reference/engine/ui/credits_REF.gc
@@ -31,16 +31,12 @@
 
 ;; definition for symbol *title-credits-scale*, type (array float)
 (define *title-credits-scale*
-  (the-as (array float)
-    (new 'static 'boxed-array :type float :length 8 :allocated-length 8 0.9 0.9 0.6 0.6 1.0 0.9 1.1 0.9)
-    )
+  (new 'static 'boxed-array :type float :length 8 :allocated-length 8 0.9 0.9 0.6 0.6 1.0 0.9 1.1 0.9)
   )
 
 ;; definition for symbol *title-credits-spacing*, type (array int32)
 (define *title-credits-spacing*
-  (the-as (array int32)
-    (new 'static 'boxed-array :type int32 :length 8 :allocated-length 8 15 20 15 15 20 15 20 15)
-    )
+  (new 'static 'boxed-array :type int32 :length 8 :allocated-length 8 15 20 15 15 20 15 20 15)
   )
 
 ;; definition for function draw-title-credits