Patch pushed as b94513bfa625b1885cc95d12d2fe44a77dea7df2. Thanks.