/* Opera bug */