Minor typo in vector based libdivide_1s64_do_vector_alg1