diff --git a/crates/proof/Cargo.toml b/crates/proof/Cargo.toml
index 234684a9..4c1a5b11 100644
--- a/crates/proof/Cargo.toml
+++ b/crates/proof/Cargo.toml
@@ -10,7 +10,7 @@ workspace = true
 
 [dependencies]
 log = { workspace = true }
-miniz_oxide = "0.8"
+miniz_oxide = "0.9"
 unicode-normalization = "0.1"
 
 [dev-dependencies]
diff --git a/crates/proof/src/affix.rs b/crates/proof/src/affix.rs
index c2580bca..7fb7d968 100644
--- a/crates/proof/src/affix.rs
+++ b/crates/proof/src/affix.rs
@@ -877,8 +877,8 @@ impl AffixDict {
 
     /// Read data written by [`AffixDict::to_bytes`].
     pub fn from_bytes(data: &[u8]) -> Result<AffixDict, String> {
-        let raw =
-            miniz_oxide::inflate::decompress_to_vec_with_limit(data, 64 << 20).map_err(|e| format!("affix dictionary: inflate failed: {e:?}"))?;
+        let raw = miniz_oxide::inflate::decompress_to_vec_with_limit(data, 64 << 20)
+            .map_err(|e| format!("affix dictionary: inflate failed: {:?}", e.status))?;
         let words_at = raw.windows(7).position(|w| w == b"\nWORDS\n").ok_or("affix dictionary: no WORDS section")?;
         let head = std::str::from_utf8(raw.get(..words_at).unwrap_or_default()).map_err(|_| "affix dictionary: bad utf-8 in the rules")?;
         let mut lines = head.lines();
diff --git a/crates/proof/src/dict.rs b/crates/proof/src/dict.rs
index 83a54d44..789fb6a8 100644
--- a/crates/proof/src/dict.rs
+++ b/crates/proof/src/dict.rs
@@ -78,7 +78,7 @@ impl Dictionary {
 
     /// Deserialize data written by [`Dictionary::to_bytes`].
     pub fn from_bytes(data: &[u8]) -> Result<Dictionary, String> {
-        let raw = miniz_oxide::inflate::decompress_to_vec(data).map_err(|e| format!("hyphenation dictionary: inflate failed: {e:?}"))?;
+        let raw = miniz_oxide::inflate::decompress_to_vec(data).map_err(|e| format!("hyphenation dictionary: inflate failed: {:?}", e.status))?;
         let body = raw.strip_prefix(MAGIC).ok_or("hyphenation dictionary: bad header")?;
         let mut d = Dictionary { words: String::with_capacity(body.len()), offs: vec![0], masks: Vec::new() };
         let mut cur: Vec<u8> = Vec::new();