Fixing bug #90: Deleting a user doesn't work correctly