TYPO3 Core

Steps to reproduce:

1. install the attached extension
2. In the tab "Database update", update the DB tables for the extensions

Expected results:
The DB table is created, and so is the index. The EM says "everything is okay".

Actual results:
The DB table is created, and so is the index. However, the EM still keeps displaying the following message:

Changing fields
select/deselect all
ALTER TABLE tx_indextest_test DROP KEY publication_key;
ALTER TABLE tx_indextest_test ADD KEY publication_key (deleted, hidden);

The demo extension basically just includes the ext_emconf.php and the following ext_tables.php:

CREATE TABLE tx_indextest_test (
    uid int(11) NOT NULL auto_increment,
    pid int(11) DEFAULT '0' NOT NULL,
    tstamp int(11) DEFAULT '0' NOT NULL,
    crdate int(11) DEFAULT '0' NOT NULL,
    cruser_id int(11) DEFAULT '0' NOT NULL,
    deleted tinyint(4) DEFAULT '0' NOT NULL,
    hidden tinyint(4) DEFAULT '0' NOT NULL,

    PRIMARY KEY (uid),
    KEY parent (pid),
    INDEX publication_key (deleted, hidden)
);

The problem is the space after the comma in the INDEX line. With the space, the EM does not recognize the index that already has been created as the same as the index in the SQL file. (If I remove the space, the EM is satisfied. However, the space improves readability, and the EM should be able to handle this.)