Fix unclosed <div>

Signed-off-by: Anders Kaseorg <andersk@mit.edu>