minor changes due to Firefox patch testing