diff --git a/admin-guide/puppet/development.rst b/admin-guide/puppet/development.md
similarity index 98%
rename from admin-guide/puppet/development.rst
rename to admin-guide/puppet/development.md
index e6b95d5a..2697225b 100644
--- a/admin-guide/puppet/development.rst
+++ b/admin-guide/puppet/development.md
@@ -1,5 +1,4 @@
-Development Environments
-========================
+# Development Environments
 
 The puppet server gives access to a limited set of users to the
 environment area, where prod and preprod environments are already
diff --git a/admin-guide/puppet/general.rst b/admin-guide/puppet/general.rst
index 7ef6e631..144797d9 100644
--- a/admin-guide/puppet/general.rst
+++ b/admin-guide/puppet/general.rst
@@ -60,8 +60,8 @@ The following environments exist:
 - ``preprod``
 
 - Development environments. These are private to a single developer,
-  can have arbitrary names like ``ganglia-issue-21`` or
-  ``kaminski_k-log_client``, and are used for developing and testing
+  can have names matching the regex ``^[a-z]+[a-z,0-9,_]+$`` like ``ganglia_issue_21`` or
+  ``klog_client``, and are used for developing and testing
   changes. Generally, only individual systems are attached to these
   environments.