During November 2024, Dion Leijnse focused on improving metadata accuracy in the FormalBook repository by addressing author attribution issues in Lean-based documentation. Dion identified and corrected an incomplete author listing in FormalBook/Chapter_22.lean, ensuring the full name was properly displayed for citation and search workflows. The work involved a targeted bug fix, implemented and verified through a single, well-documented commit. By leveraging skills in documentation and the Lean language, Dion enhanced data integrity and author disambiguation for published material. The scope of work was narrow but precise, reflecting careful attention to detail and a commitment to maintaining high-quality documentation standards.