diff --git a/CHANGES.md b/CHANGES.md
index 4992f22c7ca599869c7f0a5bb0b2bd02c4040146..00c35278fb0dd45b97c087e3ed5ed2853ba95779 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -4,8 +4,8 @@
 - [prover] Integration of the [$\alpha-\beta-$CROWN](https://github.com/stanleybak/nnenum) prover.
 - [prover] Integration of the AIMOS metamorphic testing prover.
 - [prover] Add printer for VNN-LIB format for property specification as supported by nnenum and $\alpha-\beta-$CROWN provers.
-- [prover] Support for multiple configurations of provers, using the `prover-altern` command line option.
-  An example of registering an alternate configuration is available under `config/caisar-detection.conf`
+- [prover] Support for multiple configurations of provers, using the prover-altern command line option.
+  An example of registering an alternate configuration is available under config/caisar-detection.conf
 - [prover] Add transformation to translate ONNX format into SMTLIB format for allowing SMTLIB2 compliant provers to work on neural networks.
 - [doc] The first version of the CAISAR manual is available
   publicly on our [website](caisar-platform.com/documentation).
@@ -14,7 +14,7 @@
   robustness benchmarks. Those examples use an experimental
   interpretation language that is not fully documented yet.
 - [deps] Upgraded Why3 to 1.6.0 version
-- Add `verify-json` command for verifying a robustness property via a JSON
+- Add verify-json command for verifying a robustness property via a JSON
   configuration file.
 - Add verification of datasets for classification tasks in terms of a specific
   CSV format: each line provides the label in 1st column, and data features in