minor changes (for FF)