add an extra assert