doc: fixed too short underline error on make html