Minor changes to to_CVAC_ResultSet()