Minor improvement for Opera Mini