Patch applied as 537768018ee03a6a9a5562022a16b47ac287d131.
Thanks.