into code recently patched by Andres Freund, so quickly fixed by him
when bug report from Tatsuo Ishii arrived.