Patch pushed as 854bdb7ba9abd6392da823f723553df03077e9a7.
Thanks.