It’s official: Donald Trump is the Republican Party presidential nominee. House Speaker Paul Ryan announced his nomination following a roll call vote on the floor of the Republican National Convention Tuesday.

Speaker Paul Ryan: “The chair announces that Donald J. Trump, having received a majority of these votes entitled to be cast at the convention, has been selected as the Republican Party nominee for president of the United States.”

That’s House Speaker Paul Ryan announcing Trump’s official party nomination. This comes after delegates from the “Never Trump” movement briefly staged a revolt against Trump’s nomination on Monday. The rebellion threw the first day of the convention into chaos, but the effort was quashed by party leadership. Some dissenting delegates booed during Tuesday’s roll call vote.