Deactivated users are sometimes not being deactivated

Mystery solved! Thanks, Simon. You can close this thread.