updated documentation html