diff --git a/packages/apt_install_packages.sh b/packages/apt_install_packages.sh
index 7577a8bf1c4..d5f4c239fc3 100755
--- a/packages/apt_install_packages.sh
+++ b/packages/apt_install_packages.sh
@@ -70,7 +70,7 @@ if is_CI; then
     opts="$opts -q"
     echo
     echo "/etc/apt/sources.list:"
-    cat /etc/apt/sources.list ||:
+    cat /etc/apt/sources.list || :
     echo
     for x in /etc/apt/sources.list.d/*; do
         [ -f "$x" ] || continue