html documentation updated