Patch pushed as cfaa1bec8f402eacd1f4f380cd694c0409b21349. Thanks.