diff --git a/README-DEV.md b/README-DEV.md
index f522a0e..ab648ff 100644
--- a/README-DEV.md
+++ b/README-DEV.md
@@ -3,7 +3,7 @@ Releasing
 * `git tag -m 'v<version>' 'v<version>'`
 * `for r in origin github github-qurator-spk; do git push -d $r stable; done`
 * `git tag -fm 'stable' 'stable'`
-* `for r in origin github github-qurator-spk; do git push --tags $r; done`
+* `for r in origin github github-qurator-spk; do git push --tags $r master; done`
   * This - the tags - triggers Travis builds for the mikegerber repo,
     including building the Docker images and pushing them to Docker Hub.
   * Make sure that qurator-spk gets tags pushed (for consistency).