Remove silly bug in converting to read_vector_t