diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt
index 248eee84..f0864f58 100644
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@@ -14,6 +14,7 @@ Ongoing changes:
 Latest changes (reverse chronological):
 [correct wrt svn rev 1610]
 
+* Formulas used in properties are left unexpanded for legibility
 * New versions of jcommon (1.0.16) and jfreechart (1.0.13)
 * Option to specify initial distribution for transient analysis
 * Option to export transient probabilities to a file