Fix inoperative assertions