A few more tcast->extended