Casper The Finality Gadget Paper : Remove Section on Validator's Pubkey Ban Post-Withdraw

[PhABC]

According to latest version of the Casper FFG paper ;

Once validator ν leaves the validator set, the validator’s public key is forever forbidden from rejoining the validator set. This removes the need to handle multiple start/end dynasties for a single identifier.

However, according to the most recent implementation casper contract, validator's information are deleted after they withdraw their deposit, allowing them to deposit once again. The above cited section seems to be an implementation specification that could be omitted from the paper.