Changed a few symbols