Patch applied as 3c9984b8609c35227c87a55ced97e1eda4e18cd7. Thanks.