Never seen this before. It's a weird set of transactions, and I wonder if that uncovered a small bug.
The weirdness... he was placed on the DL on the first day transactions are allowed-- and then released off the DL because he was arb-eligible. You're not supposed to be allowed to be released off the DL, but obviously you can if you don't have a salary.
I'd send a ticket.