During November 2024, work centered on the esbmc/esbmc repository, focusing on improving code quality through US English spelling standardization. The developer systematically identified and corrected inconsistencies in comments, strings, and a filename, addressing common anglicisms such as “behaviour” to “behavior” and “honour” to “honor.” This effort, consolidated in a single commit, enhanced code readability and maintainability, supporting smoother onboarding and future code reviews. The work involved code cleanup, refactoring, and typo correction, utilizing C, C++, and Makefile. By prioritizing internationalization and consistency, the developer contributed to a more accessible and professional codebase for ongoing development.