Correctly committed the change referred to in the previous commit.