pg 8.0.1-r3 killls pgadmin3 and phppgadmin

    Hello,

    Just installed pg 8.0.1-r3 and now phppgadmin and pgadmin3 die with a
cryptic error message.
    I've traced it to the following query to get information about the
database :

SELECT pdb.datname AS datname, pu.usename AS datowner,
pg_encoding_to_char(encoding) AS datencoding,
(SELECT description FROM pg_description pd WHERE pdb.oid=pd.objoid) AS
datcomment,
(SELECT spcname FROM pg_catalog.pg_tablespace pt WHERE
pt.oid=pdb.dattablespace) AS tablespace
 FROM pg_database pdb, pg_user pu
WHERE pdb.datdba = pu.usesysid AND NOT pdb.datistemplate
ORDER BY pdb.datname;

    This query looks right to me and pg 8.0.0 does it fine, while 8.0.1-r3
says :

Error : Unexpected right parenthesis.

    This is not very helpful...
    What's going on ?

    I've downgraded to 8.0.0 in the meantime.