added some assertions