--- 
+++ 
@@ -4,8 +4,8 @@
 <script type="text/javascript" src="${base_url}static/js/commit_tree.js"></script>
 
 <h3>Repository</h3>
-#if set('url_http') in $page_conf.keys() or 'url_git' in $page_conf.keys() or 'url_ssh' in $page_conf.keys()
-<h4>Code</h4>
+#if set(['url_http', 'url_git', 'url_ssh']) & set($page_conf.keys())
+<h4>Download</h4>
 To clone this repository, use a command like:
 #for proto in ['http', 'git', 'ssh']
     #set $proto = 'url_' + $proto