this assertion should not always yield false here