fixed inequality in an assertion