Fix a bug in comparison evaluation