Fix duplicate helptag