This fixes the help text for bug #7826.