Patch pushed as 199ae378c243e07208cfaa7fc55395850c2aa7e5.
Thanks.