diff --git a/.travis.yml b/.travis.yml
index e9289a9..e2d6b7d 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -8,8 +8,9 @@ env:
     - PATH="$RACKET_DIR/bin:$PATH"
   matrix:
     # RACKET_VERSION is an argument to install-racket.sh
-    - RACKET_VERSION=6.8     COV=true
-    - RACKET_VERSION=6.9     COV=true
+    #- RACKET_VERSION=6.8     COV=true
+    #- RACKET_VERSION=6.9     COV=true
+    - RACKET_VERSION=7.0     COV=true
     - RACKET_VERSION=RELEASE COV=true
     - RACKET_VERSION=HEAD    COV=true
 
@@ -26,4 +27,4 @@ script:
 - if $COV; then raco doc-coverage "$(basename "$TRAVIS_BUILD_DIR")" || true; fi ############################# DOC-COVERAGE IS DISABLED WITH || true
 - if $COV; then raco cover -s main -s test -s doc -f codecov -f html -d ~/coverage . || true; fi
 # TODO: add an option to cover to run the "outer" module too, not just the submodules.
-# TODO: deploy the coverage info.
\ No newline at end of file
+# TODO: deploy the coverage info.
diff --git a/main.rkt b/main.rkt
index 7dcb625..8294761 100644
--- a/main.rkt
+++ b/main.rkt
@@ -7,7 +7,7 @@
                      (prefix-in host:
                                 (subtract-in (only-meta-in 1 turnstile/lang)
                                              (only-meta-in 0 turnstile/lang)))
-                     turnstile/examples/mlish))
+                     macrotypes/examples/mlish))
 
 @section{Introduction}
 
@@ -18,9 +18,9 @@ implemented with @turnstile[], and provided as part of @turnstile[]'s suite of
 examples.
 
 @chunk[<*>
-       (extends turnstile/examples/mlish)]
+       (extends macrotypes/examples/mlish)]
 
-Since @racketmodname[turnstile/examples/mlish] provides some identifiers which
+Since @racketmodname[macrotypes/examples/mlish] provides some identifiers which
 conflict with some racket utilities, we import those with a prefix.
 
 @chunk[<*>