diff --git a/Changelog.md b/Changelog.md
index a9c096c34..ec3924daa 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,6 +1,8 @@
 ### 2.4.3 (unreleased)
 
 Bug fixes:
+ - UFLA: Fix unsoundness bug due to LASolver not signalling the presence of conflict correctly
+ - ArithLogic: Fix substitution computation in the presence of uninterpreted functions
  - Logic: Evaluate `distinct` function on constant arguments (required for model evaluation)
 
 ### 2.4.2 (2022-10-24)