add some extra asserts