SET SESSION SESSION AUTHORIZATION

Is it just me or is this syntax very ugly?

SET [ SESSION | LOCAL ] SESSION AUTHORIZATION username
SET [ SESSION | LOCAL ] SESSION AUTHORIZATION DEFAULT

so the parser accepts

SET SESSION SESSION AUTHORIZATION DEFAULT;

I know the SESSION/LOCAL part should be the same as the other SET
commands, but still. It hurt my eyes...

The standard command is SET SESSION AUTHORIZATION and affects the session.
Couldn't we then have this syntax instead

SET [ SESSION | LOCAL ] AUTHORIZATION username
SET [ SESSION | LOCAL ] AUTHORIZATION DEFAULT

so one can do either

SET SESSION AUTHORIZATION DEFAULT;

or

SET LOCAL AUTHORIZATION DEFAULT;

--
/Dennis Björklund