Vacation time can be paid in kind, not only in money