diff --git a/bureau/admin/bro_editor.php b/bureau/admin/bro_editor.php
index aae04035..435a805f 100644
--- a/bureau/admin/bro_editor.php
+++ b/bureau/admin/bro_editor.php
@@ -113,7 +113,6 @@ echo "<pre class='prettyprint' id='file_content_view' >$content</pre>";
 <br />
 </form>
 
-<script src="/prettify/run_prettify.js"></script>
 <script type="text/javascript">
 $(function() {$( "#tabsfile" ).tabs();});
 
diff --git a/bureau/admin/head.php b/bureau/admin/head.php
index ff39a518..28decf8e 100644
--- a/bureau/admin/head.php
+++ b/bureau/admin/head.php
@@ -52,8 +52,11 @@ if (file_exists("styles/style-custom.css") ) {
 
 <script src="js/jquery.tablesorter.min.js" type="text/javascript"></script>
 
+<link href="prettify/prettify.css" type="text/css" rel="stylesheet" />
+<script src="prettify/prettify.js" type="text/javascript"></script>
+
 </head>
-<body>
+<body onload="prettyPrint()">
 <?
 
 if ($isinvited && isset($oldid) && !empty($oldid) && $oldid!=$cuid ) {
