Patch applied as 393c5260895f1af643c0663389a0e8986a4f0e20.
Thanks.