Patch applied as d8ddf42712b17e87b750c58c00ef0ccf666ddb38.
Thanks.