diff --git a/src/thesis/2-reproducibility.typ b/src/thesis/2-reproducibility.typ
index fb087e6..949f9f7 100644
--- a/src/thesis/2-reproducibility.typ
+++ b/src/thesis/2-reproducibility.typ
@@ -1472,7 +1472,7 @@ dependencies and facilitate the build process. For example, `Cargo` for Rust,
 `Composer` for PHP, `NPM` for NodeJS, `Dune` for OCaml, `tlmgr` for #LaTeX.
 Package managers are also used to manage software at the operating system level
 like: `apt` in Debian based distributions, `pacman` in Arch Linux, `dnf` in
-Fedora, `brew` in MacOS, `chocolatey` in Windows
+Fedora, `brew` in macOS, `chocolatey` in Windows
 #cite(<9403875>, form: "normal", supplement: [p. 10]).
 
 Package managers can inadvertently introduce non-determinism by automatically
diff --git a/src/thesis/3-tools.typ b/src/thesis/3-tools.typ
index bc420c7..0b4db7f 100644
--- a/src/thesis/3-tools.typ
+++ b/src/thesis/3-tools.typ
@@ -201,7 +201,7 @@ Our testing environments supports three distinct architectures:
   ARM-based Apple Silicon processors.
 
 This selection encompasses both `x86` and `ARM` architectures, as well as Linux
-and MacOS operating systems, providing a comprehensive view of reproducibility
+and macOS operating systems, providing a comprehensive view of reproducibility
 across the most commonly used development platforms in #gls("SE"). The choice of
 these architectures ensures the results are relevant to a broad spectrum of
 development environments and application targets.