Small fixes for Opera