Fix html bug introduced in commit e2c34f6.