И снова "ум зашел за разум"

: у нас по пп 21.08 было объявлено рабочим, а 23.08- выходным днем. Один сотрудник работал 21.08, но уже с 23.08 он ушел в ежегодный основной отпуск. И что же получается, что ему работа 21.08 никак не компенсируется? Или надо ему одному оплачивать 21.08 в двойном размере? Или ничего не надо исправлять?