ALTER DATABASE RENAME with HS/SR

Our documentation in 
<http://www.postgresql.org/docs/9.0/interactive/hot-standby.html> currently 
says the following:

<snip>
Running DROP DATABASE, ALTER DATABASE ... SET TABLESPACE, or ALTER DATABASE 
... RENAME on the primary will generate a WAL entry that will cause all 
users connected to that database on the standby to be forcibly 
disconnected. This action occurs immediately, whatever the setting of 
max_standby_streaming_delay.
</snip>

However, renaming a database doesn't trigger a disconnect here on a HS/SR 
setup:

* first, on the primary do:

CREATE DATABASE foo;

* ...wait until database creation arrived on the standby and connect:

psql foo

* now rename the database on the primary

ALTER DATABASE foo RENAME TO bar;

* on the standby do in the same connection as before:

foo=# SELECT datname FROM pg_database; datname
-----------template1template0postgresberndpgbenchbar
(6 rows)

That looks contrary to the documented behavior. Shouldn't i get a forced 
disconnect on this connection instead?

-- 
Thanks
Bernd