refine doc. html -> HTML