diff --git a/pull-debian-debdiff b/pull-debian-debdiff
index ab844d7..601cb99 100755
--- a/pull-debian-debdiff
+++ b/pull-debian-debdiff
@@ -109,4 +109,4 @@ if __name__ == '__main__':
     try:
         main()
     except KeyboardInterrupt:
-        Logger.normal('Aborting at user request')
+        Logger.normal('User abort.')
diff --git a/pull-debian-source b/pull-debian-source
index 3c28812..ab2a69b 100755
--- a/pull-debian-source
+++ b/pull-debian-source
@@ -87,4 +87,4 @@ if __name__ == '__main__':
     try:
         main()
     except KeyboardInterrupt:
-        Logger.normal('Aborting at user request')
+        Logger.normal('User abort.')
diff --git a/pull-lp-source b/pull-lp-source
index 77e5191..30a17c5 100755
--- a/pull-lp-source
+++ b/pull-lp-source
@@ -104,4 +104,4 @@ if __name__ == '__main__':
     try:
         main()
     except KeyboardInterrupt:
-        Logger.normal('Aborting at user request')
+        Logger.normal('User abort.')