firefox: mini cleanup