Added extra assert