Checker WIP

* Fix a HTML writer