Fixed.
Be assured certain IRS employees have been on paid vacation since the day they began their job.