Fixed equiv argument's type