diff --git a/src/Data/Nat/Properties.agda b/src/Data/Nat/Properties.agda
index e304ed659f..37b1f33ee0 100644
--- a/src/Data/Nat/Properties.agda
+++ b/src/Data/Nat/Properties.agda
@@ -2342,6 +2342,6 @@ open Data.Nat.Base public
 
 <-transˡ = <-≤-trans
 {-# WARNING_ON_USAGE <-transˡ
-"Warning: <-transˡ was deprecated in v2.0. Please use ≤-<-trans instead. "
+"Warning: <-transˡ was deprecated in v2.0. Please use <-≤-trans instead. "
 #-}