Jak naliczać pracownikowi urlop uzupełniający przy zmianie pracodawcy

Pracownik ukończył studia wyższe 9 grudnia 2005 r. Swoją pierwszą pracę na podstawie umowy o pracę wykonywał od 2 listopada 2005 r. do 31 października 2007 r. Następnie został zatrudniony w naszym zakładzie od 1 listopada 2007 r. i pracuje u nas nadal. Poprzedni pracodawca udzielił temu pracownikowi 17 dni urlopu proporcjonalnego za 2007 r. W naszym zakładzie pracownik nabył prawo do 26 dni urlopu 9 grudnia 2007 r. Udzieliliśmy mu zatem za zeszły rok 5 dni urlopu wypoczynkowego (2/12 x 26 dni). Pracownik twierdzi jednak, że zaniżyliśmy mu urlop, ponieważ powinien otrzymać 9 dni urlopu uzupełniającego, tak aby łącznie przysługiwało mu 26 dni urlopu za zeszły rok. Czy dobrze ustaliliśmy wymiar urlopu tego pracownika?