          <script type="text/javascript">makeRed('phpspec-header');</script>
          <script type="text/javascript">makeRed('div_group_<?php echo self::$failingExamplesCount ?>');</script>
          <script type="text/javascript">makeRed('example_group_<?php echo self::$failingExamplesCount ?>');</script>
          <dd class="example failed">
            <span class="failed_spec_name"><?php echo htmlentities($this->event->getTitle()) ?> (FAILED - <?php echo htmlentities($this->event->getMessage()) ?>)</span>
              <div class="failure" id="failure_<?php echo self::$failingExamplesCount++ ?>">
                <div class="message"><pre><?php echo htmlentities($this->event->getMessage()) ?></pre></div>
                <div class="backtrace"><pre><?php echo $this->formatBacktrace() ?></pre></div>
                <pre class="php"><?php echo htmlentities($code)  ?></pre>
              </div>
          </dd>