Patch pushed as 6b532de90ecaced8ec94a7405d2525f222cd9576.
Thanks.