Fix html doc rendering