Html documentation updated