fixed spurious assert