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 51cf9fa61cc7613201a37fe4e920ef81e285869a..1cad02cf639332c5c6c45be1e56d7a03b495bfc5 100644
--- a/doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md
+++ b/doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md
@@ -153,8 +153,8 @@ marie@login$ ws_restore -l -F scratch
 to get a list of your expired workspaces, and then restore them like that into an existing, active
 workspace 'new_ws':
 
-```
-ws_restore -F scratch marie-test-workspace-1234567 new_ws
+```console
+marie@login$ ws_restore -F scratch marie-test-workspace-1234567 new_ws
 ```
 
 The expired workspace has to be specified by its full name as listed by `ws_restore -l`, including