diff --git a/README.md b/README.md
index d7136b2ef13ca656e882378d5024ae973d519132..96bc7e6e6271117712fb4defb1886af304e867b3 100644
--- a/README.md
+++ b/README.md
@@ -68,7 +68,7 @@ A LaTeX version of the core logic definitions and some derived forms is
 available in [docs/iris.tex](docs/iris.tex).  A compiled PDF version of this
 document is [available online](http://plv.mpi-sws.org/iris/appendix-3.1.pdf).
 
-## Examples
+## Case Studies
 
 The following is a (probably incomplete) list of case studies that use Iris, and
 that should be compatible with this version: