diff --git a/design/go2draft-contracts.md b/design/go2draft-contracts.md
index bd00879..7c43f65 100644
--- a/design/go2draft-contracts.md
+++ b/design/go2draft-contracts.md
@@ -2946,7 +2946,7 @@
 // ordered numeric types.
 type OrderedAbs(type T OrderedNumeric) T
 
-func (a OrderedAbs(T)) Abs() T {
+func (a OrderedAbs(T)) Abs() OrderedAbs(T) {
 	if a < 0 {
 		return -a
 	}