diff --git a/CHANGELOG.md b/CHANGELOG.md
index 5e2a443734c706819aa5fd524616d31dd4b826ae..aa2753d8e770920fdfd5ab4660c6ae060e69b902 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -47,7 +47,7 @@ Coq development, but not every API-breaking change is listed.  Changes marked
 
 ## Iris 2.0-rc2
 
-This version matches the final ICFP paper.
+This version matches the final ICFP 2016 paper.
 
 * [algebra] Make the core of an RA or CMRA a partial function.
 * [program_logic/lifting] Lifting lemmas no longer round-trip through a
@@ -57,4 +57,4 @@ This version matches the final ICFP paper.
 
 ## Iris 2.0-rc1
 
-This is the Coq development and Iris Documentation as submitted to ICFP.
+This is the Coq development and Iris Documentation as submitted to ICFP 2016.