תיקון קטן להגדרות המהדר.