Added more asserts.