Bumping this, it's a small (2-line), low-risk fix and hasn't gotten anyfeedback yet. I've added it to the current commitfest(https://commitfest.postgresql.org/patch/7334/) if anyone has a momentto take a look.
Thanks,Maxime