Corrected assert