## The verified fix