Admin/lib/Tools/makedist_bundle

       rm -f "${ARCHIVE_DIR}/${ISABELLE_NAME}.dmg"
       tar -C dmg -czf "${ARCHIVE_DIR}/${ISABELLE_NAME}_dmg.tar.gz" .
 
       if [ -n "$REMOTE_MAC" ]
       then
-        echo -n "$REMOTE_MAC: building dmg ... "
+        echo -n "$REMOTE_MAC: building dmg ..."
         isabelle remote_dmg -V Isabelle "$REMOTE_MAC" \
           "${ARCHIVE_DIR}/${ISABELLE_NAME}_dmg.tar.gz" "${ARCHIVE_DIR}/${ISABELLE_NAME}.dmg" &&
-          echo "done"
+          echo " done"
       fi
     )
     ;;
   windows)
     (