See
https://git.postgresql.org/gitweb/?p=postgresql.git;a=commitdiff;h=805093113df3f09979cb0e55e857976aad77b8af
Please send any corrections by Sunday.
regards, tom lane