event-log/live-monitoring.md

@@ -156,8 +156,8 @@ Client API relevant to real-time event monitoring.  The full API is larger; you
 
 ```wiki
 -- Datatype that holds a link to the eventlog
-data EventHandle   -- Abstract
-data Event = ....  -- Concrete data type (see the ghc-events library docs above)
+data EventHandle      -- Abstract
+data CapEvent = ....  -- Concrete data type (see the ghc-events library docs above)
 
 -- Opens the event stream from the specified handle,
 -- reads the header info, and initialises the EventHandle