fix bug in Comparison.equal()