Corrected ndefs