diff --git a/marketplace/scribblings/highlevel.scrbl b/marketplace/scribblings/highlevel.scrbl
index 38055c6..1d325e4 100644
--- a/marketplace/scribblings/highlevel.scrbl
+++ b/marketplace/scribblings/highlevel.scrbl
@@ -2,10 +2,6 @@
 @require[racket/include]
 @include{prelude.inc}
 
-@require[(for-label (except-in marketplace/sugar-untyped transition/no-state)
-		    (only-in marketplace/drivers/tcp-bare tcp)
-		    (except-in marketplace/sugar-typed ?))]
-
 @title[#:tag "high-level-interface"]{High-level interface}
 
 @declare-exporting[#:use-sources (marketplace/sugar-values
diff --git a/marketplace/scribblings/prelude.inc b/marketplace/scribblings/prelude.inc
index 8c50c49..04e3108 100644
--- a/marketplace/scribblings/prelude.inc
+++ b/marketplace/scribblings/prelude.inc
@@ -11,9 +11,22 @@
 	 (for-syntax racket)
 	 (for-label typed/racket/base))
 
-(require (for-label (except-in marketplace/sugar-untyped transition/no-state)
-		    (only-in marketplace/drivers/tcp-bare tcp)
-		    (except-in marketplace/sugar-typed ?)))
+(require (for-label (only-in marketplace/drivers/tcp-bare tcp)
+		    (except-in marketplace/sugar-untyped
+			       name-endpoint
+			       name-process
+			       transition/no-state)
+		    (except-in marketplace/sugar-typed
+			       ?
+			       let-fresh
+			       match-state
+			       match-orientation
+			       match-conversation
+			       match-interest-type
+			       match-reason
+			       on-presence
+			       on-absence
+			       on-message)))
 
 ;; TODO: make it display "=" instead of ":" connecting the defined
 ;; type to the definition.