I added a couple more Assertions while tracking down the exact
cause of the former bug.

All 93 regression tests pass now.

Jan