The page access rights of a deleted user are not displayed and, hence, cannot be removed, but continue to influence the the access rights of other users. So, either these rights should be displayed or they should be ignored by the rights system.