diff --git a/developer/bin/generate_changelog b/developer/bin/generate_changelog
index a9c9fa988c..513cc19870 100755
--- a/developer/bin/generate_changelog
+++ b/developer/bin/generate_changelog
@@ -245,7 +245,7 @@ end
 
 def footer
   @footer ||= Set.new
-  @footer.to_a
+  @footer.to_a.sort
 end
 
 def add_to_footer(line)
diff --git a/doc/RELEASING.md b/doc/RELEASING.md
index c0c203fec6..3ab1139c20 100644
--- a/doc/RELEASING.md
+++ b/doc/RELEASING.md
@@ -97,13 +97,13 @@ written down than floating in a brain somewhere.
 13. Push that commit and the tag:
 
 	```bash
-	$ git push --follow-tags
+	$ git push && git push --follow-tags
 	```
     Or, depending on your git configuration, you might need to append
     `<repository> <refspec>` to the above command, for example:
 
 	```bash
-	$ git push --follow-tags upstream master
+	$ git push upstream master && git push --follow-tags upstream master
 	```
 
 14. Unset the shell variable `$NEW_RELEASE_TAG`; you don't need it anymore.