fixed bug with duplicate symbol