Fixed a functional equality bug