Переработка вкупе с выходом на работу в праздничные дни. (январь)

Подскажите пожалуйста у нас такая ситуация.
при переработке в январе месяце 2016 года, рассчитались по странной формуле. (возможно она верна).
приведу пример.
за январь я отработал фактически - 187 часов. из них праздничных часов я отработал 40,5.
праздничные мне оплатили в одинарном размере сверх оклада (вторая часть внутри оклада). и в то же время, эти праздничные часы вычли из общей переработки. правильно ли это? обосновали всё это таким образом:

сотрудники считают что им должны быть оплачены дополнительно часы работы в выходные и праздничные дни, тогда как они уже им были оплачены согласно тк рф.

сотрудник получил за январь 2016 оклад и доплату за каждый час работы в вышеуказанные праздничные даты однократном размере сверх оклада . такое правило истекает из ст. 153 тк рф, где написано, что работа в выходной или нерабочий праздничный день оплачивается работникам, получающим оклад, в р-ре не менее одинарной или дневной часовой ставки сверх оклада, если работа производилась в пределах месячной нормы рабочего времени.

пс. в общем суть - заплатили сверх оклада в одинарном размере выход в выходной день, и его же убрали из общей месячной переработки. что делать?