Added more assertions.