Small updates to html docs