TEST: improving doctest of ResultSet