Patch applied as 949da583dd84271b42106336dddc1996423967d9.
Thanks.