diff --git a/README.md b/README.md
index d14ae0f..9ef306a 100644
--- a/README.md
+++ b/README.md
@@ -5,9 +5,16 @@ An implementation of [openkal][kal] on the RISC-V Supervisor Binary Interface.
 ```toml
 [dependencies]
 openkal         = "0.25.0"
-openkal-opensbi = "0.9.0"
+openkal-opensbi = "0.9.1"
 ```
 
+## What 0.9.1 corrects
+
+The manifest declares `openkal = "^0.25.0"`. An implementation written against a
+patch release of the specification conforms to every later patch of that minor
+version (openkal clause 8); with an exact version, a consumer that names openkal
+0.25.1 could not resolve with this implementation.
+
 ## What 0.9 adds (openkal 0.25)
 
 The interfaces this implementation provides are those of openkal 0.25.
diff --git a/mcpp.toml b/mcpp.toml
index 320f446..331524a 100644
--- a/mcpp.toml
+++ b/mcpp.toml
@@ -14,7 +14,7 @@
 [package]
 namespace   = "mcpplibs"
 name        = "openkal-opensbi"
-version     = "0.9.0"
+version     = "0.9.1"
 description = "An implementation of openkal on the RISC-V Supervisor Binary Interface, portable across every machine whose firmware provides one"
 license     = "Apache-2.0"
 
@@ -33,7 +33,8 @@ repo        = "https://github.com/mcpplibs/openkal-opensbi"
 # The contract, not an implementation of it. Declaring it turns a version
 # mismatch into a resolution-time message rather than a link-time one.
 [dependencies]
-openkal = "0.25.0"
+# Every patch release of the specification's minor version (openkal clause 8).
+openkal = "^0.25.0"
 
 # WHAT RECEIVES CONTROL, WHICH IS A STATEMENT ABOUT THE PROGRAM.
 #