diff --git a/repos/hello_tutorial/doc/hello_tutorial.txt b/repos/hello_tutorial/doc/hello_tutorial.txt
index 4023ac8014..4e584593fd 100644
--- a/repos/hello_tutorial/doc/hello_tutorial.txt
+++ b/repos/hello_tutorial/doc/hello_tutorial.txt
@@ -172,7 +172,7 @@ parameters.
 !{
 !  protected:
 !
-!    Session_component *_create_session(const char *args)
+!    Session_component *_create_session(const char *)
 !    {
 !      Genode::log("creating hello session");
 !      return new (md_alloc()) Session_component();
diff --git a/repos/hello_tutorial/src/hello/server/main.cc b/repos/hello_tutorial/src/hello/server/main.cc
index af78017e89..7106784de1 100644
--- a/repos/hello_tutorial/src/hello/server/main.cc
+++ b/repos/hello_tutorial/src/hello/server/main.cc
@@ -42,7 +42,7 @@ class Hello::Root_component
 {
 	protected:
 
-		Session_component *_create_session(const char *args)
+		Session_component *_create_session(const char *)
 		{
 			Genode::log("creating hello session");
 			return new (md_alloc()) Session_component();