From 00db8b651b26a6984cb7b2fc296a494b2ab3b68b Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Sat, 15 Jan 2022 23:30:04 +0100
Subject: [PATCH] dds.org: Minor update.

---
 dds.org | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dds.org b/dds.org
index 690d135..d4949e2 100644
--- a/dds.org
+++ b/dds.org
@@ -17,7 +17,7 @@ raco pkg install
 raco setup -l dds
   #+END_SRC
 
-  I think that the =dds= package must already be installed.
+  The =dds= package must already be installed.
 
 * Racket Package catalog bug <2020-11-26 Thu>
   =raco pkg= had a bug which caused it to fail with the following