diff --git a/thys/DiskPaxos/config b/thys/DiskPaxos/config
--- a/thys/DiskPaxos/config
+++ b/thys/DiskPaxos/config
@@ -1,9 +1,9 @@
 # -*- shell-script -*-
 
 # Get email when automated build fails. May be empty.
 # values: "email1 email2 .. emailn"
-NOTIFY="kleing@cse.unsw.edu.au" # mauro@fceia.unr.edu.ar 
+NOTIFY="kleing@cse.unsw.edu.au"
 
 # Participate in frequent (nightly) build (only for small submissions)
 # values: "yes" "no"
 FREQUENT="yes"
diff --git a/thys/GPU_Kernel_PL/config b/thys/GPU_Kernel_PL/config
--- a/thys/GPU_Kernel_PL/config
+++ b/thys/GPU_Kernel_PL/config
@@ -1,9 +1,9 @@
 # -*- shell-script -*-
 
 # Get email when automated build fails. May be empty.
 # values: "email1 email2 .. emailn"
-NOTIFY=
+NOTIFY=""
 
 # Participate in frequent (nightly) build (only for small submissions)
 # values: "yes" "no"
 FREQUENT="yes"