html doc fixes