Simplify the definition of Vect.reverse