Get your point. Annual leave is based on weeks so anything previous will be based on 4 weeks at full time at average daily pay. He’ll be okay and be paid right. FYI better to take the small hit and resign in a months time so he gets all public holidays