Patch applied as 51c0490267726e2b69c31ca337983123334c4aee.
Thanks.