ALTER ROLES - questions

Hi!

I played around with roles a bit today and noticed some minor things:

ALTER ROLE seems to support ALTER ROLE <name> ROLE <name> - but that
form is not mentioned in the docs:

playground=# CREATE ROLE myrole;
CREATE ROLE
playground=# CREATE ROLE myrole2;
CREATE ROLE
playground=# ALTER ROLE myrole ROLE myrole2;
ALTER ROLE

ALTER ROLE <name> IN ROLE <name> (undocumented but seems logical to try
because CREATE ROLE supports that) seems to result in the following a
bit cryptic error message:

playground=# CREATE ROLE myrole;
CREATE ROLE
playground=# CREATE ROLE myrole2;
CREATE ROLE
playground=# ALTER ROLE myrole IN ROLE myrole2;
ERROR: option "addroleto" not recognized

I understand that adding/removing role membership can be done by the
means of GRANT/REVOKE but at least improving the error message(or
stopping the parser from accepting that syntax) a bit would be nice :-)

Stefan