Бухгалтеры по з/пл, помогите - оплата праздничного дня 4 ноября

Беру отпуск в ноябре, не него выпадают 2 выходных - 3 и 4 ноября. Оклад. В отделе кадров объяснили, что 3 ноября не праздничный, а выходной - войдет в отпуск и я получу за него отпускные. А вот 4-е праздничный, он в отпуск не входит и не оплачивается. То есть из отпуска я выйду на день позже, но праздничный день (4-е) мне не будет оплачен ни как отпуск, ни как рабочий.
То есть беру с 31 октября 14 календарных дней, на работу выхожу 17 ноября. За 14 дней отпускные и з/пл за 10 отработанных. Получается, что отдыхаю не 14, а 15 дней - но из них один день без оплаты.
Неужели все верно?