diff --git a/racket/typed/info.rkt b/racket/typed/info.rkt
index 6068709..5349bb0 100644
--- a/racket/typed/info.rkt
+++ b/racket/typed/info.rkt
@@ -9,5 +9,5 @@
 (define test-omit-paths
   ;; a number of the examples use SPIN for model checking which I need
   ;; to figure out how to get working on the package server
-  '("examples/")
-  '("tests/spin/"))
+  '("examples/"
+    "tests/spin/"))