fixes on html documentation