diff --git a/k-distribution/include/kframework/builtin/domains.md b/k-distribution/include/kframework/builtin/domains.md
index 23de7240d3f..3e344d3b171 100644
--- a/k-distribution/include/kframework/builtin/domains.md
+++ b/k-distribution/include/kframework/builtin/domains.md
@@ -1471,7 +1471,7 @@ The syntax of ordinary floating-point values in K consists of an optional sign
 followed by an optional fractional part. Either the integer part or the
 fractional part must be specified. The mantissa is followed by an optional
 exponent part, which consists of an `e` or `E`, an optional sign (+ or -),
-and an integer. The expoennt is followed by an optional suffix, which can be
+and an integer. The exponent is followed by an optional suffix, which can be
 either `f`, `F`, `d`, `D`, or `pNxM` where `N` and `M` are positive integers.
 `p` and `x` can be either upper or lowercase.
 
@@ -1628,7 +1628,7 @@ You can:
 
 ### Floating-point comparisons
 
-Compute whether a float is less than or equasl to, less than, greater than or
+Compute whether a float is less than or equals to, less than, greater than or
 equal to, greater than, equal, or unequal to another float. Note that
 `X ==Float Y` and `X ==K Y` might yield different values. The latter should be
 used in cases where you want to compare whether two values of sort `Float`
diff --git a/pyk/src/tests/profiling/test-data/domains.md b/pyk/src/tests/profiling/test-data/domains.md
index fa610218faf..83290272e4d 100644
--- a/pyk/src/tests/profiling/test-data/domains.md
+++ b/pyk/src/tests/profiling/test-data/domains.md
@@ -1449,7 +1449,7 @@ The syntax of ordinary floating-point values in K consists of an optional sign
 followed by an optional fractional part. Either the integer part or the 
 fractional part must be specified. The mantissa is followed by an optional
 exponent part, which consists of an `e` or `E`, an optional sign (+ or -), 
-and an integer. The expoennt is followed by an optional suffix, which can be
+and an integer. The exponent is followed by an optional suffix, which can be
 either `f`, `F`, `d`, `D`, or `pNxM` where `N` and `M` are positive integers.
 `p` and `x` can be either upper or lowercase.
 
@@ -1606,7 +1606,7 @@ You can:
 
 ### Floating-point comparisons
 
-Compute whether a float is less than or equasl to, less than, greater than or
+Compute whether a float is less than or equals to, less than, greater than or
 equal to, greater than, equal, or unequal to another float. Note that
 `X ==Float Y` and `X ==K Y` might yield different values. The latter should be
 used in cases where you want to compare whether two values of sort `Float`