diff --git a/CHANGELOG.md b/CHANGELOG.md
index 27eddbf03..b05097073 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -25,7 +25,7 @@ Version 1.3.x
 - Fixed linking with Mathsat on macOS
 - Fixed compilation for macOS mojave
 - Support for export of MTBDDs from storm
-- Support for monotonicity checking of pMCs using the --monotonicity-analysis option. Use --help monotonicity for all options.
+- Support for monotonicity checking of pMCs using the `--monotonicity-analysis` option. Use `--help monotonicity` for all options.
 
 ### Version 1.3.0 (2018/12)
 - Slightly improved scheduler extraction