Party leaders said they would nominate the president via a virtual roll call of delegates before the national convention, overcoming a glitch that had threatened to keep him off the November ballot.

To be clear: this is forced by a Republican decision to not grant an exception to allow the Democratic party to hold a later convention that has been routinely granted in the past.