Patch pushed as 5183ff2b9125ffa47c761f15cbda6a91080b6812.
Thanks.