Fix bug with argument equivalence