Patch pushed as 49d0a80738a7676f148e42370d7feb0ab8253928. Thanks.