Patch pushed as 110fdaad4e9e50e694c1d03a805653482aa7e4bf.
Thanks.