small header bug in Opera fixed