Fix HTML Help command name