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 6561497a9ebb70c951892bb99d989ace5e7789fe..66fcbf7d83e8bb06ff82521afad82a927afe9ea9 100644
--- a/doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md
+++ b/doc.zih.tu-dresden.de/docs/data_lifecycle/workspaces.md
@@ -364,7 +364,7 @@ expiration date in Unix timestamp format is added to the workspace name.
 
     When you release a workspace **manually**, it will not receive a grace period and be
     **permanently deleted** the **next day**. The advantage of this design is that you can create
-    and release workspaces inside jobs and not flood the filesystem with data no one needs anymore
+    and release workspaces inside jobs and not pollute the filesystem with data no one needs anymore
     in the hidden directories (when workspaces are in the grace period).
 
 #### Expire Process