Hi,
I noticed a couple of comments that were obsoleted by commit578b229718 which forgot to remove them. Attached fixes that.
-- Amit LangoteEDB: http://www.enterprisedb.com