Hi Álvaro,
Thank you for pointing that out.
I have fixed the additional occurrence you mentioned and updated the patch accordingly. I have also added the patch to the CommitFest:
https://commitfest.postgresql.org/patch/6566/
Please let me know if there is anything else I should do for this patch.
Thanks for your help.
Best regards,
Zhang Hu