Patch pushed as 9bd4ed3dded7b770f1989f6084d565f7086fdcd3.
Thanks.