They did take leave -- evidenced by the language about not being able to extend the leave by using PTO in the email from their manager.