Patch pushed as b0df8de60fca2cd71bf40d85d0cbd17c9e1bed26.
Thanks.