Removed old Opera workaround