WEB: minor improvements on web documentation