Fixed small bug in make_equal which would cause rref to output incorrect result