diff -r e2c42f751b06 -r a80142b03552 mercurial/exchange.py
--- a/mercurial/exchange.py	Wed Oct 11 20:08:02 2017 +0200
+++ b/mercurial/exchange.py	Mon Oct 16 12:36:42 2017 +0200
@@ -537,7 +537,7 @@
         # - and remote support phase
         # - and no changeset are to be pushed
         # - and remote is publishing
-        # We may be in issue 3871 case!
+        # We may be in issue 3781 case!
         # We drop the possible phase synchronisation done by
         # courtesy to publish changesets possibly locally draft
         # on the remote.