web doc: minor formating