diff --git a/doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md b/doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md
index 777362753a4f2c9f5bb4e16a077065201cdd4dd8..1c3c7551cbc5ccc6e6fb326f4525e370c2f979b5 100644
--- a/doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md
+++ b/doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md
@@ -433,11 +433,10 @@ workspaces within in the directory `DIR`. Calling this command will do the follo
     ANSRESET=$'\e[0m'
     buf="$(timeout 10s ws_register $HOME/workspaces)";
     if test $? -eq 0; then
-        printf "${buf}";
+        echo "${buf}";
     else
-        printf "${ANSRED} ws_register: timeout after 10 seconds.${ANSRESET}\n";
+        echo "${ANSRED} ws_register: timeout after 10 seconds.${ANSRESET}\n";
     fi;
-    echo ""
     ```
 
 ## How to use Workspaces