diff --git a/quad/logger-typed.rkt b/quad/logger-typed.rkt
index fe7e56b0..6dd094cc 100644
--- a/quad/logger-typed.rkt
+++ b/quad/logger-typed.rkt
@@ -1,6 +1,6 @@
-#lang typed/racket
+#lang typed/racket/base
 (require (for-syntax typed/racket/base))
-(require typed/racket/date "world-typed.rkt")
+(require typed/racket/date racket/match "world-typed.rkt")
 (provide (all-defined-out))
 
 (define-syntax-rule (define-orphan-logger name)
diff --git a/quad/main-typed-sample.rkt b/quad/main-typed-sample.rkt
index a92e1e8b..532a50c1 100644
--- a/quad/main-typed-sample.rkt
+++ b/quad/main-typed-sample.rkt
@@ -11,8 +11,7 @@
 (parameterize ([world:quality-default world:draft-quality]
                [world:paper-width-default 600.0]
                [world:paper-height-default 700.0])
-  (define sample (ti3))
+  (define sample (ti5))
   ;  (define to (time (profile-thunk #:delay 0.001 (λ () (typeset sample)))))
   (define to (time (typeset sample)))
-  (report to)
   (time (send (new pdf-renderer%) render-to-file to "foo-typed.pdf")))
\ No newline at end of file