diff --git a/doc.zih.tu-dresden.de/README.md b/doc.zih.tu-dresden.de/README.md
index 122b8c15ec992c1d8e33753ed4a82ed6403ffed5..f0b337b2c9cb066d8064d6957f1c4c8e1fb6d4ec 100644
--- a/doc.zih.tu-dresden.de/README.md
+++ b/doc.zih.tu-dresden.de/README.md
@@ -137,7 +137,7 @@ echo http://$(docker inspect -f "{{.NetworkSettings.IPAddress}}" $(docker ps -qf
 ```
 
 The running container automatically takes care of file changes and rebuilds the
-documentation.  If you want to check whether the markdown files are formatted
+documentation. If you want to check whether the markdown files are formatted
 properly, use the following command:
 
 ```Bash