Fix an i386 issue