Fix #292 helptags problem