Small fix for the index attribute of dmrx.