Correct the definition of vector cross.