diff --git a/README.md b/README.md
index 21d7bfb54..d72e8ec68 100644
--- a/README.md
+++ b/README.md
@@ -24,9 +24,9 @@ This work is funded by the [seL4 Foundation](https://sel4.systems/Foundation/hom
 
 ### Demos
 
-- Simple root task: https://github.com/coliasgroup/rust-seL4-root-task-demo
-- Simple system using the seL4 Microkit: https://github.com/coliasgroup/rust-sel4cp-demo
-- HTTP server using the seL4 Microkit: https://github.com/coliasgroup/rust-sel4cp-http-server-demo
+- Simple root task: https://github.com/coliasgroup/rust-root-task-demo
+- Simple system using the seL4 Microkit: https://github.com/coliasgroup/rust-microkit-demo
+- HTTP server using the seL4 Microkit: https://github.com/coliasgroup/rust-microkit-http-server-demo
 
 ### Overview of crates
 
diff --git a/crates/sel4-microkit/src/lib.rs b/crates/sel4-microkit/src/lib.rs
index e58b97571..a39dfee49 100644
--- a/crates/sel4-microkit/src/lib.rs
+++ b/crates/sel4-microkit/src/lib.rs
@@ -18,8 +18,8 @@
 //! See the [seL4 Microkit manual](https://github.com/seL4/microkit/blob/main/docs/manual.md) for
 //! non-Rust-specific documentation about the seL4 Microkit.
 //!
-//! See [the demo](https://github.com/coliasgroup/rust-seL4-root-task-demo) for a concrete example
-//! of this crate in action.
+//! See [the demo](https://github.com/coliasgroup/rust-root-task-demo) for a concrete example of
+//! this crate in action.
 //!
 //! This crate depends, at build time, on the libsel4 headers. It requires that either
 //! `$SEL4_INCLUDE_DIRS` contains a colon-separated list of include paths for the libsel4 headers,