Bigger fix in Opera extension