diff --git a/files/slave_scripts/docbook-properties.sh b/files/slave_scripts/docbook-properties.sh
index 0137499..cae88cb 100644
--- a/files/slave_scripts/docbook-properties.sh
+++ b/files/slave_scripts/docbook-properties.sh
@@ -16,7 +16,7 @@ then
     DOC_COMMENTS_ENABLED=0
 fi
 
-# The stable/<releasename> branch should get published to /releasename, such as grizzly or folsom
+# The stable/<releasename> branch should get published to /releasename, such as icehouse or havana
 if [[ $BRANCH =~ ^stable/(.*)$ ]]
 then
     DOC_RELEASE_PATH=${BASH_REMATCH[1]}