Patch applied as 1415ea78c15043ddc9d3d3dfe9219a4160493bf1.
Thanks.