Patch applied as 21fad13fffa3b90fdd004c6c5514ae5dfec17492.
Thanks.