SET SESSION SESSION AUTHORIZATION - Mailing list pgsql-hackers

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