Patch pushed as d3ce8833043073e69f94352ceec3ed3466f1b0fe.
Thanks.