fix infotrace labels