Patch applied as 740c6cb279668a3edbd935c3f9a1f3031a69e43f.
Thanks.