Patch applied as 8eecb102c08099e2576cc90550f37918536cf377.
Thanks.