diff --git a/PERMISSIONS b/PERMISSIONS
index 4ee02207c0e61904ac3086eb302a240c4d7c35c6..ace330f0c1edc8c871c960eeab6d0319836f2aae 100755
--- a/PERMISSIONS
+++ b/PERMISSIONS
@@ -12,5 +12,5 @@ tail -2 "$0" | ssh git@laragit.epfl.ch setperms ${thisrepo}
 exit $_
 
 # **Do not** add new lines after the following two!
-WRITERS kuncak psuter rblanc edarulov amin
-READERS @lara mazimmer hardy
+WRITERS kuncak psuter rblanc edarulov 
+READERS @lara mazimmer hardy amin