Worked on improving documentation quality for the esbmc/esbmc repository, focusing on enhancing readability and onboarding for new contributors. Addressed a minor but impactful issue in ARCHITECTURE.md by removing an unnecessary opening parenthesis, which helped clarify the text and reduce potential confusion. The work centered on Markdown documentation, applying attention to detail and a maintenance-oriented approach rather than feature development. No new features were introduced during this period, but the targeted documentation fix contributed to better maintainability and reduced ambiguity for future readers. The contribution demonstrated a commitment to clear technical communication and incremental project improvement through precise documentation updates.