Patch pushed as 9c4752bd3ef514090094c8bdd4cbc3afb38cf186. Thanks.