i think there's a typo

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/8.0/static/user-manag.html
Description:

SELECT usename FROM pg_user;

should be
SELECT pg_user.usename FROM pg_user;