diff --git a/1-ProceduralProgramming/4-Functions.ipynb b/1-ProceduralProgramming/4-Functions.ipynb
index ff608a8906596644e34af28bb2d1de1facb0fd65..18386df91dff21174f3625fead51d30599a2fa2a 100644
--- a/1-ProceduralProgramming/4-Functions.ipynb
+++ b/1-ProceduralProgramming/4-Functions.ipynb
@@ -1411,7 +1411,7 @@
    "source": [
     "## Unused arguments\n",
     "\n",
-    "It might happen that a function provides parameters which are not actually used in the implementation; if you're doing things correctly your compiler should warn you about these unused parameters:"
+    "It might happen that a function provides parameters which are not actually used in the implementation; if you've set up the appropriate warning flags for your compiler, it should warn you about these unused parameters:"
    ]
   },
   {
@@ -1517,8 +1517,8 @@
    "source": [
     "We strongly advised you to use the latest, if your code is using at least C++ 17:\n",
     "\n",
-    "- Not naming the parameters might seem innocuous here, but in more meaningful codes you lose expressivity: the fact the argument isn't used doesn't mean you don't want the intel about what it is about (we'll see later in object programming `override` [we'll see later](../2-ObjectProgramming/7-polymorphism.ipynb#override-keyword)). Naming bears information, and dropping it is therefore loss of information.\n",
-    "- Casting to `void` is not straightforward for developers who don't know the idiom. Even so, the fact it's not directly indicated at the declaration place makes it less expressive.\n",
+    "- Not naming the parameters might seem innocuous here, but in more meaningful codes you lose expressivity: the fact that the argument isn't used doesn't mean you don't want the intel about what it is about (we'll see later in object programming `override` [we'll see later](../2-ObjectProgramming/7-polymorphism.ipynb#override-keyword)). Naming bears information, and dropping it is therefore loss of information.\n",
+    "- Casting to `void` is not straightforward for developers who don't know the idiom. Even so, the fact that it's not directly indicated at the declaration site makes it less expressive.\n",
     "\n",
     "`[[maybe_unused]]` may in fact be used as well for local variables:\n"
    ]