Patch pushed as 4bef55db1d27aab2775ce2ec2ad11ff58a3c4f4c.
Thanks.