fixing up html docs