Possible Opera bug fix