Patch pushed as ceac0fb1294b47bfd0cf31bb3950cd5d631c2227.
Thanks.