diff --git a/README.md b/README.md
index 1236dffa41a..c9c71f9d68e 100644
--- a/README.md
+++ b/README.md
@@ -51,6 +51,7 @@ venv/bin/python parquet_integration/write_parquet.py
 * Uses Rust's compiler whenever possible to prove that memory reads are sound
 * Reading parquet is 10-20x faster (single core) and deserialization is parallelizable
 * Writing parquet is 3-10x faster (single core) and serialization is parallelizable
+* MIRI checks on non-IO components (MIRI and file systems are a bit funny atm)
 * parquet IO has no `unsafe`
 * IPC supports big endian
 * More predictable JSON reader