ALTER SERVER SYNTAX ISSUE

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/10/static/sql-alterserver.html
Description:

I found that the alter server statement below does not work:

ALTER SERVER foo OPTIONS (host 'foo', dbname 'foodb');

but this does:

ALTER SERVER foo OPTIONS (set host 'foo', set dbname 'foodb');