fixed a few symbols