Patch pushed as d19be32eca910ba980bd8c155857d541f6f48314.
Thanks.