Patch pushed as e9bd9a2d58001283e4be51bd6f67accb4c211c2e.
Thanks.