Patch pushed as e5f21c7e38fc7c61271e532f434284c94cd6fbb3.
Thanks.