The logic is that you aren't expected to work in your off time so it shouldn't factor in at all. If his work exceeded during the time he was working whether or not he took leave shouldn't effect that.

Reviews should be about the quality of the work, not whether you take 0 vacations days or work until 10pm everyday because you're 22 and don't have a family.