Fix a bug in function eq