Minor fixes in release documentation

Change-Id: I3d218019af9331b3bb04eb5871ea30f03e2933c0
diff --git a/Documentation/dev-release.txt b/Documentation/dev-release.txt
index 2495233..cf31e77 100644
--- a/Documentation/dev-release.txt
+++ b/Documentation/dev-release.txt
@@ -144,7 +144,7 @@
 link:dev-release-deploy-config.html#deploy-configuration-setting-maven-central[
 configuration needed for deployment]
 
-* Push the Jars to the Maven Central:
+* Push the Jars to Maven Central:
 +
 ----
   buck build api_deploy
@@ -160,7 +160,7 @@
 [[publish-gerrit-war]]
 ==== Publish the Gerrit WAR (with Core Plugins)
 
-* Push the WAR to the Maven Central:
+* Push the WAR to Maven Central:
 +
 ----
   buck build war_deploy
@@ -170,9 +170,8 @@
 [[push-stable]]
 ==== Push the Stable Branch
 
-* create the stable branch `stable-2.5` in the `gerrit` project
-+
-Via the link:https://gerrit-review.googlesource.com/#/admin/projects/gerrit,branches[
+* Create the stable branch `stable-2.5` in the `gerrit` project via the
+link:https://gerrit-review.googlesource.com/#/admin/projects/gerrit,branches[
 Gerrit Web UI] or by push.
 
 * Push the commits done on `stable-2.5` to `refs/for/stable-2.5` and