fix doc warnings and htmlhelp name