diff --git a/transfer/examples/overload.tr b/transfer/examples/overload.tr
index ef610e76b..dafefa203 100644
--- a/transfer/examples/overload.tr
+++ b/transfer/examples/overload.tr
@@ -90,7 +90,8 @@ data Ordering : Type where
 	GT : Ordering
 
 Ord : Type -> Type
-Ord A = sig { compare : A -> A -> Ordering }
+Ord A = sig eq : A -> A -> Bool
+	    compare : A -> A -> Ordering
 
 compare : (A : Type) -> Ord A -> A -> A -> Ordering
 compare _ d = d.compare