Patch pushed as 916716a7dadf6fbec45d9c82b6cc8000fa40f397. Thanks.