diff --git a/demos/mk-workshop-2024/04-mk-with-binding.rkt b/demos/mk-workshop-2024/04-mk-with-binding.rkt
index 66d9c59..8fd2f9d 100644
--- a/demos/mk-workshop-2024/04-mk-with-binding.rkt
+++ b/demos/mk-workshop-2024/04-mk-with-binding.rkt
@@ -55,5 +55,5 @@
 
 
 (begin-for-syntax
-  (require (only-in syntax-spec/private/ee-lib/main show-var-numbers))
+  (require (only-in syntax-spec-v2/private/ee-lib/main show-var-numbers))
   (show-var-numbers #t))
\ No newline at end of file
diff --git a/scribblings/reference/compiling.scrbl b/scribblings/reference/compiling.scrbl
index 88696f1..0462c35 100644
--- a/scribblings/reference/compiling.scrbl
+++ b/scribblings/reference/compiling.scrbl
@@ -17,8 +17,8 @@
 
 @section{Compiling references to DSL bindings within Racket code}
 
-@margin-note{@secref["compilation" #:doc '(lib "syntax-spec/scribblings/main.scrbl")] in the @secref["Basic_Tutorial__State_Machine_Language"
-         #:doc '(lib "syntax-spec/scribblings/main.scrbl")] introduces the use of reference compilers.}
+@margin-note{@secref["compilation" #:doc '(lib "syntax-spec-v2/scribblings/main.scrbl")] in the @secref["Basic_Tutorial__State_Machine_Language"
+         #:doc '(lib "syntax-spec-v2/scribblings/main.scrbl")] introduces the use of reference compilers.}
 
 By default, Racket code cannot reference names bound with DSL @tech{binding classes}. To allow such references, specify a @deftech{reference compiler} for each class of bindings that should be usable in Racket code. The reference compiler is a @tech/reference{syntax transformer} that will be applied to compile the syntax including each reference.
 
diff --git a/scribblings/tutorial/stlc-tutorial.scrbl b/scribblings/tutorial/stlc-tutorial.scrbl
index d0259b3..e9ad96c 100644
--- a/scribblings/tutorial/stlc-tutorial.scrbl
+++ b/scribblings/tutorial/stlc-tutorial.scrbl
@@ -222,7 +222,7 @@ Right now, these don't need to be macros. But when we add definitions, We will d
 Now we can run some programs:
 
 @examples[#:label #f
-(require syntax-spec/tests/dsls/simply-typed-lambda-calculus)
+(require syntax-spec-v2/tests/dsls/simply-typed-lambda-calculus)
 (stlc/infer 1)
 (stlc/expr 1)
 (stlc/infer (lambda ([x : Number]) x))
@@ -328,7 +328,7 @@ This implementation is far from efficient. Instead of generating the syntax for
 Let's run some example programs now:
 
 @examples[#:label #f
-(require syntax-spec/tests/dsls/simply-typed-lambda-calculus)
+(require syntax-spec-v2/tests/dsls/simply-typed-lambda-calculus)
 (stlc/expr
   (let ([add (rkt + : (-> Number Number Number))])
     (add 1 2)))
@@ -513,7 +513,7 @@ We also added support for multi-body @racket[let], @racket[lambda], and @racket[
 Let's run it!
 
 @examples[#:label #f
-(require syntax-spec/tests/dsls/simply-typed-lambda-calculus)
+(require syntax-spec-v2/tests/dsls/simply-typed-lambda-calculus)
 (stlc
   (begin
    (define two : Number