Jak należy prawidłowo naliczać dni urlopu dla pracownika, któremu przedłużono umowę o pracę?

Pracownik był zatrudniony na stanowisku pracy obsługi w szkole od 01.09.2020 r. do 30.11.2020r. Staż pracy 13 lat. Za ten okres zatrudnienia wykorzystał urlop wypoczynkowy 7 dni. Od 01.12.2020 r. do dnia 31.12.2020 r. aneksem przedłużono mu umowę o pracę. Czyli za grudzień przysługuje mu 3 dni urlopu? Łącznie od 01.09.2020 r. do 31.12.2020 r. urlop wynosi 9 dni. A w sytuacji gdy umowa zostanie przedłużona aneksem to będzie miał łącznie za ten okres 10 dni. Czy prawidłowo naliczono 3 dni urlopu za grudzień, czy powinno być 2 dni za grudzień?