Patch pushed as 343b745b0d64e63f26133c6de56fc5d913a0ce14.
Thanks.