diff --git a/collects/compiler/private/elf.rkt b/collects/compiler/private/elf.rkt
index 4f2bddd2cd..542fa1a8b1 100644
--- a/collects/compiler/private/elf.rkt
+++ b/collects/compiler/private/elf.rkt
@@ -185,7 +185,7 @@
    (lambda (in)
      (read-elf
       in
-      (lambda () (values #f #f #f))
+      (lambda () (values #f #f #f #f))
       (lambda (elf sections programs str-section strs)
         (let ([new-sec-pos (+ (elf-sh-offset elf)
                               (* (elf-sh-esize elf) (elf-sh-ecount elf)))]