Fix duplicate helptag issue