Quell a (correct) GCC warning in the NO_HTMLHELP case.