diff --git a/dgl/dgamelaunch.conf b/dgl/dgamelaunch.conf
index 0e7877e..b14b1e5 100644
--- a/dgl/dgamelaunch.conf
+++ b/dgl/dgamelaunch.conf
@@ -1,11 +1,5 @@
 # rlgallery.org dgamelaunch configuration file
 
-# This is a sample dgamelaunch configuration file. Only bash-style comments
-# are allowed, such as this. Each configuration option will be explained
-# along with its default value.
-
-
-
 # Global config variables:
 
 
@@ -75,14 +69,17 @@ banner = "/dgldir/dgl-banner"
 # Note that shed_uid and shed_gid will always take precedence over
 # shed_user and shed_group if they are specified.
 
-# shed_user: username to shed privileges to
-#shed_user = "games"
-# shed_group: group name to shed privileges to
-#shed_group = "games"
+# Use names, because the numeric ID's are not really predictable. They can
+# always be substituted after installation.
 
-# Preferably, you may use the respective gids/uids. This is for Debian:
-shed_uid = 501
-shed_gid = 501
+# shed_user: username to shed privileges to
+shed_user = "rodney"
+# shed_group: group name to shed privileges to
+shed_group = "rodney"
+
+# Preferably, you may use the respective gids/uids.
+#shed_uid = 501
+#shed_gid = 501
 
 # Locale. Leaving this out, dgamelaunch will not explicitly set locale.
 locale = "en_US.UTF-8"