Notifications sent to admin with expired access

I've just added a new Admin to our Marketo instance.  It sent the standard notification to all other admins, including one whose access was expired in early August when she left.  (I know this because her email is routed to me.) 

Is this a known thing?  Worth asking Support about? 

I guess I can change her role to something like API user, but then it looks as if I have only now expired her access.  That would be annoying, though I realize I could always produce the login history to show that she had not logged in after the appointed day. 

Advice appreciated.