Fixed bug in assert_disequality.