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