updated a few symbols