diff --git a/inc/instance-config.php b/inc/instance-config.php
index f140ed2c..4d463751 100644
--- a/inc/instance-config.php
+++ b/inc/instance-config.php
@@ -151,6 +151,8 @@
 	$config['additional_javascript'][] = 'js/wPaint/plugins/shapes/wPaint.menu.main.shapes.min.js';
 	$config['additional_javascript'][] = 'js/wPaint/plugins/file/wPaint.menu.main.file.min.js';
 	$config['additional_javascript'][] = 'js/wpaint.js';
+	// Code tags (fix because we no longer have different scripts for each board)
+	$config['additional_javascript'][] = 'js/code_tags/run_prettify.js';
 
 	//$config['font_awesome_css'] = '/netdna.bootstrapcdn.com/font-awesome/4.0.3/css/font-awesome.css';