Added two more assertions to try and track down the problem