diff --git a/networks.rkt b/networks.rkt
index b1a7d6b..96cec5b 100644
--- a/networks.rkt
+++ b/networks.rkt
@@ -543,20 +543,19 @@
   ;;
   ;; NOTE: The type appearing when you type dynamics% in the REPL does
   ;; not directly type check.
-  (define-type (DynamicsClass a)
-    (Class
-     (init (network (Network a) #:optional)
-           (mode Mode #:optional))
-     (field (network (Network a))
-            (mode Mode))
-     (step (-> (State Any) (Listof (State Any))))
-     (step/annotated (-> (State a) (Listof (Pairof Modality (State a)))))
-     (step* (-> (Listof (State Any)) (Listof (State Any))))
-     (build-state-graph (-> (Listof (State Any)) Graph))
-     (build-state-graph/annotated (-> (Listof (State Any)) Graph))
-     (build-state-graph* (-> (Listof (State Any)) (U Positive-Integer 'full) Graph))
-     (build-state-graph*/annotated (-> (Listof (State Any)) (U Positive-Integer 'full) Graph))))
-  (define-type (Dynamics% a) (Instance (DynamicsClass a)))
+  (define-type (Dynamics% a)
+    (Instance (Class
+               (init (network (Network a) #:optional)
+                     (mode Mode #:optional))
+               (field (network (Network a))
+                      (mode Mode))
+               (step (-> (State Any) (Listof (State Any))))
+               (step/annotated (-> (State a) (Listof (Pairof Modality (State a)))))
+               (step* (-> (Listof (State Any)) (Listof (State Any))))
+               (build-state-graph (-> (Listof (State Any)) Graph))
+               (build-state-graph/annotated (-> (Listof (State Any)) Graph))
+               (build-state-graph* (-> (Listof (State Any)) (U Positive-Integer 'full) Graph))
+               (build-state-graph*/annotated (-> (Listof (State Any)) (U Positive-Integer 'full) Graph)))))
 
   (module+ test
     (let* ([n1 : (Network Boolean)