diff --git a/dosp-survey.ltx b/dosp-survey.ltx
index c1072c737aa5933d6326ede2d2c3028cd0ec114a..308ce8b0a14110edaa7c31b7420ae9988946a818 100644
--- a/dosp-survey.ltx
+++ b/dosp-survey.ltx
@@ -334,8 +334,8 @@ competitive with HashiCorp.
 Most other forks of recently-relicensed software have not attracted the
 same levels of attention, participation, or adoption.
 
-% yes for Vagrant -> Viagrunt, although OpenTofu got vastly more support
-% and activity
+% there's also a fork Vagrant -> Viagrunt, although OpenTofu got vastly
+% more support and activity
 
 It could be harder for projects under non-open-source terms to receive
 or accept outside contributions, both because people may be less motivated