Patch pushed as 13eafd67301b37b6490d666c4f78d6c26337c052.
Thanks.