Patch pushed as ad4a46b028378f38f897c74ca5728e6cb77689ca. Thanks.