Mobile: quick fix for Opera Mini