diff --git a/README.md b/README.md
index af23a028..bfbfe151 100644
--- a/README.md
+++ b/README.md
@@ -9,7 +9,7 @@ scopesessions.org
 ### Important development information
 
 There are two branches:
-* dev: development branch, merge to master when production-ready
+* dev: development branch, merge to master when production-ready. 
 * master: production code, always keep functional and error-free. Due to the action of .git/hooks/pre-push it is not possible to push directly into master. Code changes needs to be integrated in master only by merging dev. This way we ensure dev is always in front of master branch. Just experimenting a bit about code versioning mechanisms....
 
 ### Development