Corrected some assertions