Its not really duplicating itself though, as you can see one of them is capital the other one is not. I will check out english.php in admin/includes/languages. Search for BOX_HEADING_CATALOG and see what is it defined as. Is it something like catalog Catalog then I will change it to just Catalog.