Patch pushed as 33648567dd229b1302d2258e76d8b30593fedce6.
Thanks.