diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt
index 0210a80f..2e4e6d4d 100644
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@@ -6,6 +6,7 @@ of the main changes in each public release, see the file VERSIONS.txt.
 
 Latest changes (reverse chronological):
 
+* Sparse engine version of instantaneous reward properties (R=?[I=k]) for DTMCs
 * Added weak until (W) and release (R) to properties language
 * Easier viewing of model checking results in GUI
 * Steady-state properties/operators for DTMCs