html documentation edited