Ile godzin urlopu przysługuje pracownikowi obsługi zatrudnionemu w niepełnym wymiarze, który udokumentował staż do urlopu?

Pracownik obsługi zatrudniony na czas określony od 01.09.2020 r. do 30.06.2021 r. w niepełnym wymiarze czasu pracy – 1/2 etatu w dniu zatrudnienia udokumentował 9 lat 11 miesięcy i 7 dni stażu do urlopu. Na dzień 24.09.2020 r. staż pracy ww. pracownika wynosi 10 lat i tym samym przysługuje mu wyższy wymiar urlopu. Czy pracownikowi w 2020 r. przysługuje 40 godz. urlopu, czy dobrze dokonano obliczeń ((4/12)*10)+((4/12)*3)=5*8=40 godz.?