diff --git a/RELEASE_NOTES b/RELEASE_NOTES
index 0da1e2c432e..386978082ce 100644
--- a/RELEASE_NOTES
+++ b/RELEASE_NOTES
@@ -27,6 +27,21 @@ SDL version 1.2.x has been removed in favour of SDL version 2.0.x. The build sys
 [/list]
 [/rasection]
 
+[rasection="Wesnoth Formula Language update"]
+The Wesnoth formula language used by $(...) substitution, the formula= key in standard unit filters, and a few other places has received some significant updates. The changlog has the full list, but some highlights are:
+[list]
+[*]New operators for string concatenation, ranges, and testing containment
+[*]New string interpolation syntax
+[*]Dot operator can access identifier-friendly string keys in maps
+[*]Function definitions work outside FormulaAI and GUI2
+[*]Many new functions for math and string manipulation
+[*]Exponentiation operator is now right-associative (meaning 2^3^2 now produces 512 rather than 64)
+[*]Dice operator is now synced
+[*]Improved formula debugger
+[/list]
+The "fai" and "faiend" keywords are deprecated in favour of "wfl" and "wflend" respectively. This is part of a move to more clearly distinguish [wiki]Wesnoth Formula Language[/wiki], the language itself, from [wiki]FormulaAI[/wiki], which is just one use of the language in Wesnoth.
+[/rasection]
+
 ==========
 KNOWN BUGS
 ==========
diff --git a/changelog b/changelog
index 6228d1026e0..7bf8514c93c 100644
--- a/changelog
+++ b/changelog
@@ -48,7 +48,7 @@ Version 1.13.4+dev:
        formula contexts, which means that they can be used outside FormulaAI.
        However, non-FormulaAI functions are currently local to the formula
        that declares them.
-     * Maps containing string keyss that are valid identifiers can now be
+     * Maps containing string keys that are valid identifiers can now be
        indexed with the dot operator instead of the indexing operator.
      * Strings can now be indexed via 'string'.char[n]. Also supported are
        'string'.word[n] and 'string'.item[n] (the latter splits on commas)