diff --git a/examples/ir_examples/README.md b/examples/ir_examples/README.md
index 9d000df..f070c9e 100644
--- a/examples/ir_examples/README.md
+++ b/examples/ir_examples/README.md
@@ -3,6 +3,6 @@
 These examples represent different feature sets that are important for us in Topwrap.
 They are used to gather requirements for our internal data format based on features we want to support and on the syntax of other independent external formats like IP-XACT.
 
-More information about them is available in the documentation at https://antmicro.github.io/topwrap/developers_guide/ir-examples.md
+More information about them is available in the documentation at https://antmicro.github.io/topwrap/developers_guide/ir-examples
 
 Copyright (c) 2024 [Antmicro](https://antmicro.com)
diff --git a/examples/ir_examples/hierarchical/Makefile b/examples/ir_examples/hierarchical/Makefile
index 0b3a075..f1f4d70 100644
--- a/examples/ir_examples/hierarchical/Makefile
+++ b/examples/ir_examples/hierarchical/Makefile
@@ -6,7 +6,7 @@ JSONS = kpm_spec.json kpm_dataflow.json
 all: $(JSONS)
 
 $(JSONS):
-	topwrap specification
+	topwrap specification -d design.yaml
 	topwrap dataflow -d design.yaml
 
 clean:
diff --git a/examples/ir_examples/interconnect/Makefile b/examples/ir_examples/interconnect/Makefile
index 0b3a075..f1f4d70 100644
--- a/examples/ir_examples/interconnect/Makefile
+++ b/examples/ir_examples/interconnect/Makefile
@@ -6,7 +6,7 @@ JSONS = kpm_spec.json kpm_dataflow.json
 all: $(JSONS)
 
 $(JSONS):
-	topwrap specification
+	topwrap specification -d design.yaml
 	topwrap dataflow -d design.yaml
 
 clean:
diff --git a/examples/ir_examples/interface/Makefile b/examples/ir_examples/interface/Makefile
index 0b3a075..f1f4d70 100644
--- a/examples/ir_examples/interface/Makefile
+++ b/examples/ir_examples/interface/Makefile
@@ -6,7 +6,7 @@ JSONS = kpm_spec.json kpm_dataflow.json
 all: $(JSONS)
 
 $(JSONS):
-	topwrap specification
+	topwrap specification -d design.yaml
 	topwrap dataflow -d design.yaml
 
 clean:
diff --git a/examples/ir_examples/simple/Makefile b/examples/ir_examples/simple/Makefile
index 0b3a075..f1f4d70 100644
--- a/examples/ir_examples/simple/Makefile
+++ b/examples/ir_examples/simple/Makefile
@@ -6,7 +6,7 @@ JSONS = kpm_spec.json kpm_dataflow.json
 all: $(JSONS)
 
 $(JSONS):
-	topwrap specification
+	topwrap specification -d design.yaml
 	topwrap dataflow -d design.yaml
 
 clean:
diff --git a/topwrap/kpm_topwrap_client.py b/topwrap/kpm_topwrap_client.py
index 9ef9abc..d98c360 100644
--- a/topwrap/kpm_topwrap_client.py
+++ b/topwrap/kpm_topwrap_client.py
@@ -147,7 +147,7 @@ async def _kpm_handle_graph_change(rpc_object: RPCMethods):
     )
 
 
-def _kpm_dataflow_run_handler(data: JsonType, spec: JsonType, build_dir: Path) -> list:
+def _kpm_dataflow_run_handler(data: JsonType, spec: JsonType, build_dir: Path) -> list[str]:
     """Parse information about design from KPM dataflow format into Topwrap's
     internal representation and build the design.
     """