#525: change sortindex for Opera Mini