bugfix: uglify HTML