fixed a few duplicate symbols