Add missing <dd> tag

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