use the correct ASSERT