html doc fix