* Fix a bug of HTML generation from structured statements.