looks like clear_vector_double might be broken, trying clear_vector instead