diff --git a/graph-type.hl.rkt b/graph-type.hl.rkt
index db16bfa..17d88da 100644
--- a/graph-type.hl.rkt
+++ b/graph-type.hl.rkt
@@ -1,4 +1,4 @@
-#lang hyper-literate typed/racket/base #:no-auto-require
+#lang hyper-literate typed/racket #:no-auto-require
 
 @require[scribble-math
          scribble-enhanced/doc
@@ -81,12 +81,9 @@
        (require racket/require
                 phc-toolkit
                 (lib "phc-adt/tagged-structure-low-level.hl.rkt")
-                (for-syntax (subtract-in racket/base
-                                         phc-graph/subtemplate-override)
-                            "graph-info.hl.rkt"
+                (for-syntax "graph-info.hl.rkt"
                             phc-toolkit/untyped
-                            (subtract-in syntax/parse
-                                         phc-graph/subtemplate)
+                            (subtract-in syntax/parse phc-graph/subtemplate)
                             racket/set
                             phc-graph/subtemplate-override))