diff --git a/CHANGELOG.md b/CHANGELOG.md
index 8c3f736e6a72..d205f8af8e31 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -7,9 +7,11 @@ This file was introduced starting Kani 0.23.0, so it only contains changes from
 ## [0.60.0]
 
 ### Breaking Changes
-* Autoharness Subcommand by @carolynzech in https://github.com/model-checking/kani/pull/3874
 * Remove Ubuntu 20.04 CI usage by @tautschnig in https://github.com/model-checking/kani/pull/3918
 
+### Major Changes
+* Autoharness Subcommand by @carolynzech in https://github.com/model-checking/kani/pull/3874
+
 ### What's Changed
 * Fast fail option - Stop verification process as soon as one failure is observed by @rajath-mk in https://github.com/model-checking/kani/pull/3879
 * Fail verification for UB regardless of whether `#[should_panic]` is enabled by @tautschnig in https://github.com/model-checking/kani/pull/3860