Let description have HTML

Issue #423.