Patch pushed as 608999be5951588c100fb527df7cb21a3e478468.
Thanks.