eliminate spurious assert