diff --git a/docs/collaboration.md b/docs/collaboration.md
index d43d09756..d1235ec0e 100644
--- a/docs/collaboration.md
+++ b/docs/collaboration.md
@@ -1,6 +1,6 @@
 # Collaboration
 
-You can use code server to collaborate with other developers in real time.
+With third-party extensions, you can use code-server to collaborate with other developers in real time.
 
 ## Code sharing using Duckly
 
@@ -28,4 +28,4 @@ SERVICE_URL=https://open-vsx.org/vscode/gallery \
 
 ### Sharing with Duckly
 
-As `code-server` is based on VScode, you can follow the steps described on Duckly's [Pair programming with VS Code](https://duckly.com/tools/vscode) page and skip the installation step.
+As `code-server` is based on VS Code, you can follow the steps described on Duckly's [Pair programming with VS Code](https://duckly.com/tools/vscode) page and skip the installation step.