Thanks for those corrections. I have pushed this. I think all problems Masao-san reported have been dealt with, so we're done here.
Thanks! -- Álvaro Herrera https://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services