Patch applied as 90f9528748db5edc8df20dc4c625fd6ad1a55b8f.
Thanks.