table key duplication on inactivation/activation of the plugin

Hi,

I am running some tests on the Pro Sites plugin and I noticed that each time I deactivated/reactivate the plugin, their is a new index created on the wp_pro_sites table with incremented name like:
blog_ID
blog_ID_2
blog_ID_3
...etc...

I think it comes from the definition of $table1 in the install function of pro-sites.php

The created KEY should be *named* to avoid duplicating.

So, instead of :

$table1 = "CREATE TABLE {$wpdb->base_prefix}pro_sites (
blog_ID bigint(20) NOT NULL,
level int(3) NOT NULL DEFAULT 1,
expire bigint(20) NOT NULL,
gateway varchar(25) NULL DEFAULT 'PayPal',
term varchar(25) NULL DEFAULT NULL,
amount varchar(10) NULL DEFAULT NULL,
PRIMARY KEY (blog_ID),
KEY (blog_ID,level,expire)
);";

I would rather set:

$table1 = "CREATE TABLE {$wpdb->base_prefix}pro_sites (
blog_ID bigint(20) NOT NULL,
level int(3) NOT NULL DEFAULT 1,
expire bigint(20) NOT NULL,
gateway varchar(25) NULL DEFAULT 'PayPal',
term varchar(25) NULL DEFAULT NULL,
amount varchar(10) NULL DEFAULT NULL,
PRIMARY KEY (blog_ID),
KEY blog_ID (blog_ID,level,expire)
);";

I tested it and duplication of KEY stopped.

Regards