diff --git a/lib/weblib.php b/lib/weblib.php
index 4b708e24817..53f01e51b35 100644
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -3583,7 +3583,9 @@ function print_side_block_start($heading='', $attributes = array()) {
function print_side_block_end($attributes) {
echo '';
// IE workaround: if I do it THIS way, it works! WTF?
- echo '';
+ if (isset($attributes['id'])) {
+ echo '';
+ }
}