Patch pushed as e11f28d90c9b7cddd08eba0032f1ae128fdb82e6.
Thanks.