getIndexInfo() throws NullPointerException

Calling getIndexInfo against a postgresql-7.1 db with the 7.2 jdbc driver (or with 7.3dev built 2002-02-09 ), I get the
following
exception:

Exception in thread "main" java.lang.NullPointerException
        at org.postgresql.jdbc2.ResultSet.getBytes(Unknown source)
        at org.postgresql.jdbc2.DatabaseMetaData.getIndexInfo(Unknown source)
        at foo.bar(foo.java:253)
        at foo.baz(foo.java:167)
        at foo.main(foo.java:46)

I decided to poke around in the source code and found the following piece of questionable-looking code in
org/postgresql/jdbc2/DatabaseMetaData.jar:

...
    if (columnNameRS.next())
        tuple[8] = columnNameRS.getBytes(1);
    else
        tuple[8] = "".getBytes();
    tuple[8] = columnNameRS.getBytes(1);
...

Now, being willing to bet that that last line shouldn't be there, I commented it out and tried it again - and bingo! it
workedfine. 

I see Dave Cramer's uid at the top of DatabaseMetaData.jar, so cc'ing him.

Thanks,
--Cormac Twomey