Patch applied as e94abf55b7bd6753e53483053b2bdec76ba64b2f.
Thanks.