diff --git a/libs/prelude/Prelude/Interfaces.idr b/libs/prelude/Prelude/Interfaces.idr
index e7ae329e37..f4c2ab7880 100644
--- a/libs/prelude/Prelude/Interfaces.idr
+++ b/libs/prelude/Prelude/Interfaces.idr
@@ -583,8 +583,7 @@ namespace Traversable
     using Foldable.Compose Functor.Compose where
       traverse = traverse . traverse
 
-namespace Bitraveresable
-
+namespace Bitraversable
   ||| Composition of a bitraversable and a traversable is bitraversable.
   public export %tcinline
   [Compose] (l : Traversable t) => (r : Bitraversable p) => Bitraversable (t .: p)