The patch looks good to me, David.
--Sent from: http://www.postgresql-archive.org/PostgreSQL-hackers-f1928748.html