diff --git a/docs/source/introduction.md b/docs/source/introduction.md
index e5db0db5..a935ba51 100644
--- a/docs/source/introduction.md
+++ b/docs/source/introduction.md
@@ -28,7 +28,7 @@ Once installed, the agda2hs prelude bundled with agda2hs
 can be registered in the Agda config using the `agda2hs locate` command:
 
 ```sh
-agda2hs locate >> ~/.agda/libaries
+agda2hs locate >> ~/.agda/libraries
 ```
 
 Optionally, the agda2hs prelude can also be added as a default global import: