Hmmm... you're right. I thought I'd taken care of this but I hadn't.
I've now modified section 5.1.1 (not 5.1.2 - I corrected the reference) to read:
"If the ML decides to discontinue his or her work at any time (including discontinuing maintenance activities or declining to take on the role of Spec Lead during a significant revision initiated by a JSR) the ML, with the assistance of the PMO, should make a reasonable effort to locate another Member who is willing to take on the task. If a replacement is identified, the PMO must initiate a Transfer Ballot within 30 days to enable EC members to approve the transfer of responsibilities. The license terms that the prospective new Maintenance Lead plans to use must be disclosed prior to the ballot. If the ballot succeeds, the new ML must assume his or her responsibilities within 30 days. If no replacement can be found, or if the Transfer Ballot fails, then the PMO shall declare the Specification to be Dormant and no further maintenance can be carried out. No further Transfer Ballots will be initiated by the PMO unless a Member volunteers as ML, in which case the PMO will again have 30 days to initiate a Transfer Ballot."
I also added a footnote to clarify that this process can also be used to seek a new Spec Lead (as opposed to Maintenance Lead.)