Patch pushed as 0ce63d11b5e27bfc7f5082c3021be7561ffc8c76.
Thanks.