diff --git a/collects/compiler/cffi.scrbl b/collects/compiler/cffi.scrbl
index e12a084c37..9c1ae190d3 100644
--- a/collects/compiler/cffi.scrbl
+++ b/collects/compiler/cffi.scrbl
@@ -272,7 +272,6 @@ Expands to a use of @scheme[c-declare] with the content of
 @scheme[path-spec]. The @scheme[path-spec] has the same form as for
 @schememodname[mzlib/include]'s @scheme[include].}
 
-
 @(bibliography
   (bib-entry
    #:key "Feeley98"
diff --git a/collects/compiler/zo-parse.ss b/collects/compiler/zo-parse.ss
index 57472a6c38..5794a0d3bc 100644
--- a/collects/compiler/zo-parse.ss
+++ b/collects/compiler/zo-parse.ss
@@ -197,7 +197,9 @@
     [`(,name ,self-modidx ,lang-info ,functional? ,et-functional?
              ,rename ,max-let-depth ,dummy
              ,prefix ,kernel-exclusion ,reprovide-kernel?
-             ,indirect-provides ,num-indirect-provides ,protects
+             ,indirect-provides ,num-indirect-provides 
+             ,indirect-et-provides ,num-indirect-et-provides 
+             ,protects ,et-protects
              ,provide-phase-count . ,rest)
      (let ([phase-data (take rest (* 8 provide-phase-count))])
        (match (list-tail rest (* 8 provide-phase-count))