html doc updates