Patch pushed as 6a1ed3a63f7a1d59447301a6f7b1569d95ccd38b.
Thanks.