fix: comment

diff --git a/src/Std/Sync/StreamMap.lean b/src/Std/Sync/StreamMap.lean
index 94ab319..47b37ea 100644
--- a/src/Std/Sync/StreamMap.lean
+++ b/src/Std/Sync/StreamMap.lean

@@ -27,7 +27,7 @@
 
 /--
 This is an existential wrapper for AsyncStream that is used for the `.ofArray` function
-with `CoeHead` so it's easier and we keep StreamMap on `Type 0`.
+with `CoeDep` so it's easier and we keep StreamMap on `Type 0`.
 -/
 inductive AnyAsyncStream (α : Type) where
   | mk : {t : Type} → [AsyncStream t α] → t → AnyAsyncStream α