refine doc. html -> HTML
show coverage