diff --git a/macrotypes/info.rkt b/macrotypes/info.rkt
index f008017..4b479dd 100644
--- a/macrotypes/info.rkt
+++ b/macrotypes/info.rkt
@@ -9,6 +9,7 @@
 
 (define test-omit-paths
   '("examples/tests/mlish/sweet-map.rkt" ; needs sweet-exp
+    "examples/tests/fomega3.rkt"
     "examples/tests/fomega3-tests.rkt"
     "examples/tests/mlish/bg/README.md"))
 
diff --git a/macrotypes/typecheck.rkt b/macrotypes/typecheck.rkt
index 983be89..3b31555 100644
--- a/macrotypes/typecheck.rkt
+++ b/macrotypes/typecheck.rkt
@@ -77,6 +77,7 @@
     (path->string (path-replace-suffix (file-name-from-path f) "")))
   (define-syntax-parameter stx (syntax-rules ())))
 
+;; non-turnstile
 (define-syntax (define-typed-syntax stx)
   (syntax-parse stx
     [(_ name:id stx-parse-clause ...+)
diff --git a/turnstile/info.rkt b/turnstile/info.rkt
index daa8182..d82d4d4 100644
--- a/turnstile/info.rkt
+++ b/turnstile/info.rkt
@@ -5,8 +5,8 @@
 
 (define compile-omit-paths 
   '("examples/rosette"
-    "examples/tests"
     "examples/fomega3.rkt"
+    "examples/tests"
     "examples/trivial.rkt")) ; needs typed racket
 
 (define test-include-paths
@@ -17,6 +17,7 @@
     "examples/tests/rosette"             ; needs rosette
     "examples/tests/trivial-test.rkt"    ; needs typed/racket
     "examples/tests/mlish/sweet-map.rkt" ; needs sweet-exp
+    "examples/fomega3.rkt"
     "examples/tests/fomega3-tests.rkt"
     "examples/tests/mlish/bg/README.md"))