Fix misnamed X4->U4