diff --git a/external/contribute/web-ide/web-ide.md b/external/contribute/web-ide/web-ide.md
index 9569375470be44d1dcaea0c4e22e336ff651164b..acab7aa405dff25dea3f22858ea6e84d3d8b1dfc 100644
--- a/external/contribute/web-ide/web-ide.md
+++ b/external/contribute/web-ide/web-ide.md
@@ -56,13 +56,13 @@ As already mentioned, a change has to be proposed, and will then be reviewed. Th
 
 *Note: There is no `Save` button. You save your work by committing changes.*
 
-When clicking on submit, the page changes to display the changes made:
+When clicking on `Commit...`, the page changes to display the changes made:
 
 <img src="img/img7.png">
 
 You can see that a green line has been added on the right column. The left column displays the original file (of the `develop` branch).
 
-On the bottom left, you can see a form for committin the change. Here, you have to select `Create a new branch`. This is **important**.
+On the bottom left, you can see a form for committing the change. Here, you have to select `Create a new branch`. This is **important**.
 
 <img src="img/img8.png">