Patch pushed as 59ec9e3f3eb60a53cde5b6b90094927e11e62d8a.
Thanks.