headerscheck fail, fixed here.
-- Álvaro Herrera PostgreSQL Developer — https://www.EnterpriseDB.com/#error "Operator lives in the wrong universe" ("Use of cookies in real-time system development", M. Gleixner, M. Mc Guire)