Fixing spurious ASSERT