Minor fix in assert<->if+throw intention description