diff --git a/dosp-survey.ltx b/dosp-survey.ltx
index 04721186e9498c547d44160f1bd81e0b5bc1824d..cd262b6984a736e4a0b3f142d877a1061be6bae5 100644
--- a/dosp-survey.ltx
+++ b/dosp-survey.ltx
@@ -379,7 +379,7 @@ Boyter proposed a ``GPL time bomb" (later renamed to simply
 AUG specifying a limited number of users within an
 organization.\footnote{See
 \otsurl{https://boyter.org/2016/08/gpl-time-bomb-interesting-approach-foss-licensing/}.}
-This approach was used for Boyter's ``searchcode" project\footnote{See
+This approach was used for Boyter's ``searchcode-server" project\footnote{See
 \otsurl{https://www.searchcode.com/}.}, but no new development has
 taken place on this codebase since 2020, so it should now be licensed
 under GPL v3.