8.0.0rc1: doc refers to guc_stats_*

PostgreSQL 8.0.0rc1

The "Statistics Collection Configuration" documentation (Section
23.2.1), third paragraph, refers to the variables guc_stats_block_level
and guc_stats_row_level.  Shouldn't that be stats_block_level and
stats_row_level without a leading "guc_"?  If so, I think the problem
is in runtime.sgml around the following lines:

2879: <varlistentry id="guc-stats-block-level" xreflabel="guc_stats_block_level">
2896: <varlistentry id="guc-stats-row-level" xreflabel="guc_stats_row_level">

Should the xreflabel attributes be changed?

--
Michael Fuhr
http://www.fuhr.org/~mfuhr/