Patch pushed as 3288d6bf760a0033702684d08ae6516e869dd4cb.
Thanks.