diff --git a/graphs/pull-request.dot b/graphs/pull-request.dot
index 60258b2..7132d91 100644
--- a/graphs/pull-request.dot
+++ b/graphs/pull-request.dot
@@ -1,8 +1,8 @@
 digraph pr {
 	graph [ dpi = 300 ];
 	"Patch (git branch)" -> "Open pull-request" [label=" Via web, usually"];
-	"Open pull-request" -> "Review";
-	"Review" -> "Patch (git branch)" [label=" Adjustments needed?"];
-	"Review" -> "Incorporate into main repository" [label=" Accepted?"];
-	"Incorporate into main repository" -> "Ship to users" [label=" When release is stable"];
+	"Open pull-request" -> "Patch is reviewed";
+	"Patch is reviewed" -> "Patch (git branch)" [label=" Adjustments needed?"];
+	"Patch is reviewed" -> "Push to official repository" [label=" Accepted?"];
+	"Push to official repository" -> "Ship to users" [label=" When release is stable"];
 }