One-character patch from Jacob to fix a missing > in the HTML output.