Patch applied as 373cc5e14a97e2dd82e3127332f4588f06913c79. Thanks.