diff --git a/dosp-survey.ltx b/dosp-survey.ltx
index cde7826355c11a2a6862ef9f8ec8363afd0c300c..8bc19a48987fd7de1b1b07877439660cb8de9f87 100644
--- a/dosp-survey.ltx
+++ b/dosp-survey.ltx
@@ -186,9 +186,9 @@ BSL 1.1 is a source-available license that allows copying, modification, redistr
 \end{quote}
 
 This change applied to almost all of the company's software, including popular
-software like Terraform, Vagrant, and Hashicorp Vault.
+software like Terraform, Vagrant, and HashiCorp Vault.
 
-Although Hashicorp's license change attracted the most attention and
+Although HashiCorp's license change attracted the most attention and
 commentary, it's interesting to note that BUSL was originally written by
 a database company and that the majority of the projects we've identified
 that relicensed under BUSL are database systems. Some of the project
@@ -301,8 +301,8 @@ This is echoed in statements by several BUSL adopters that they sought a way to
 % It's potentially much harder for projects under non-open-source terms to
 % accept outside contributions, both because people may be less motivated
 % to make them and because the licensing status is more confusing. However
-% Hashicorp for example has a CLA, with a bot that checks whether authors
-% of pull requests have signed it. Hashicorp does continue to receive some
+% HashiCorp for example has a CLA, with a bot that checks whether authors
+% of pull requests have signed it. HashiCorp does continue to receive some
 % outside contributions on BUSL-licensed projects.
 %
 % e.g. https://cla.hashicorp.com/hashicorp/terraform