BUG #5691: Documentation typo ?

The following bug has been logged online:

Bug reference:      5691
Logged by:          Tatsuhito Kasahara
Email address:      kasahara.tatsuhito@oss.ntt.co.jp
PostgreSQL version: 9.0
Operating system:   Any
Description:        Documentation typo ?
Details:

The following is a part of doc/src/sgml/user-manag.sgml

======================
 For example, if for some reason you
   want to disable index scans (hint: not a good idea) anytime you
   connect, you can use:
<programlisting>
ALTER ROLE myname SET statement_timeout = '5min';
</programlisting>
======================

It seems to be a wrong example (or text).

Best regards,