I added a couple more Assertions while tracking down the exact cause of the former bug. All 93 regression tests pass now. Jan
