Patch pushed as 7efcf36e3b753a1dba6f8208f3c22d151007eaf0.
Thanks.