revert casting