Patch pushed as 58dbf4c930e26a6d813ed6cc30fb5ca67ad7c21f. Thanks.