fix possible duplication of symbol