Ошибка в молитве и сомнение в исправлении

Во время молитвы в Десять дней покаяния ошибся и сказал 'Эль ха-Кадош', но сразу исправился и сказал 'ха-Мелех ха-Кадош'. Однако он сомневается, было ли исправление сделано вовремя. Что делать?

Если это было в будние дни Десяти дней покаяния, он должен повторить молитву, добавив условие, что если он не обязан повторять, эта молитва будет добровольной. Если это было в шаббат или в дни трепета, когда нельзя молиться добровольно, он не повторяет молитву. Если возможно, он должен слушать всю молитву от шалиаха цибура и намереваться выполнить обязанность, если он обязан молиться.