And the "prescribed manner is:
A dealing error for the fourth boardcard is rectified in a manner to least influence the identity of the boardcards that would have been used without the error. The dealer burns and deals what would have been the fifth card in the fourth card’s place. After this round of betting, the dealer reshuffles the deck, including the card that was taken out of play, but not including the burncards or discards. The dealer then cuts the deck and deals the final card without burning a card. If the fifth card is turned up prematurely, the deck is reshuffled and dealt in the same manner.