Firefox: minor changes