Оплата работы в праздник

Здравствуйте!
В прошлом году привлекали сотрудника к работе в госпраздник. По его желанию дали выходной. Сейчас узнали, что такая работа компенсируется только двойной оплатой.
Подскажите, если будем оплачивать на сегодняшний день, правильно брать среднюю ЗП за день по состоянию на сегодняшний день?
Может быть, подскажете из опыта, насколько это большое нарушение при проверках из инспекции по труду? Обращают они на это внимание? Есть ли смысл исправлять или можно оставить таким образом (сотрудник согласен на такой вариант, есть его письменное заявление)?
Спасибо за помощь.