fix helptags error