Fixed setoid equality.