Patch pushed as 3b4aede54a451c96899cc7af9f7522c5ab74d08a. Thanks.