Ile dni urlopu przysługuje w przypadku zmiany etatu?

Pracownik ma 20-dniowy wymiar urlopu. Pracuje od 1 kwietnia na pełen etat. W dniu 1 czerwca zmienia wymiar etatu na 3/4. Z uwagi na podjęcie pracy od 1 kwietnia przysługuje mu proporcjonalnie 15 dni urlopu. Ale - przeliczając urlopy z uwagi na zmianę wymiaru etatu - łącznie dni tych będzie 16 - za pierwszy okres kwiecień - maj, to 1,666 x 2, czyli 3,333 - 4 dni urlopu, 32 godziny, a za kolejny okres 20/12*7 = 1,6666 = 12 dni.

Jak w tej sytuacji dokonać korekty z uwagi na fakt, że gdyby pracownik nie zmieniał etatu, to przysługiwałoby mu mniej dni?

Czy w tej sytuacji dokonujemy korekty, a jeśli tak, to czy odejmujemy 6 czy 8 godzin?