Donald Trump officially won the Republican presidential nomination Tuesday, with 1,725 votes for him and 721 votes against.

During the roll call vote, observers noticed some discrepancies between what delegates announced as their state’s votes and what the chair actually counted as their votes. In four instances, for example, delegates announced a certain number of votes and the chair corrected the announcement, giving Trump more votes on net.