better detection of opera mobile