насчет отпуска, правильный расчет

подскажите, знатоки трудового правда и кадрового производства!)))
вопрос: сотрудник написал заявление на отпуск с 26 октября по 13 ноября включительно, т.е. на 19 календарных дней. Но в этот период попадает праздник - 4 ноября! Ессно, с точки зрения бухгалтерии этот день не оплачивается. По ТК РФ в такой ситуации отпуск продляется на 1 день (на тот самый праздничный). Т.е. отпуск должен быть до 14 ноября включительно (суббота)? Сколько дней отпуска обязана оплатить бухгалтерия? Сотрудники бухгалтерии говорят, что их программа считает только 18 дней для оплаты, выкидывая праздник, но не оплачивая взамен дополнительный день...Как правильно?