I think the inner type cast should be still there.