add a few more asserts