A note about vacation entitlements