Fixed some minor bugs introduced in solving Firefox bug