Patch applied as ca6e688883c1ddf756c285dff9cf524b5955852d.
Thanks.