Patch pushed as 07a68587b0e00a7b7c231d1360bbc5fb47fc51bf.
Thanks.