Per suggestions from Andres Freund.  Also fix spelling of
Sergey Burladyan's name.