diff --git a/docs/WASI-documents.md b/docs/WASI-documents.md
index 09cb6a8dec..8df028f503 100644
--- a/docs/WASI-documents.md
+++ b/docs/WASI-documents.md
@@ -7,9 +7,9 @@ For more detail on what WASI is, see [the overview](WASI-overview.md).
 
 For specifics on the API, see the [API documentation](https://github.com/CraneStation/wasmtime/blob/master/docs/WASI-api.md).
 Additionally, a C header file describing the WASI API is
-[here](https://github.com/CraneStation/wasi-sysroot/blob/wasi/libc-bottom-half/headers/public/wasi/core.h).
+[here](https://github.com/CraneStation/wasi-libc/blob/wasi/libc-bottom-half/headers/public/wasi/core.h).
 
-The WASI libc repository is [wasi-sysroot](https://github.com/CraneStation/wasi-sysroot/).
+The WASI libc repository is [wasi-libc](https://github.com/CraneStation/wasi-libc/).
 
 For some discussion of capability-based design, see the [Capabilities document](WASI-capabilities.md).