Undo the deletion of (double) cast to run tests